diff options
| author |  Samuel Mimram <smimram@debian.org> | 2008-01-04 13:22:08 +0000 |
|---|---|---|
| committer | Samuel Mimram <smimram@debian.org> | 2008-01-04 13:22:08 +0000 |
| commit | 749b50f73ab620e8e35c8374269ede81e1d4c567 (patch) | |
| tree | 33cc962373d140aba734547ce82e64204c9704c3 /debian | |
| parent | 36c5f85625ee70a4dced2d244aa4fca4a10e41de (diff) | |
Makefile should now be compatible with dash.
Diffstat (limited to 'debian')
| -rw-r--r-- | debian/changelog | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/debian/changelog b/debian/changelog index 310a4db7..f7fe9a49 100644 --- a/debian/changelog +++ b/debian/changelog @@ -5,9 +5,10 @@ coq (8.1.pl3+dfsg-1) UNRELEASED; urgency=low [ Samuel Mimram ] * New upstream release. + * Makefile should now be compatible with dash, closes: #459050. * Updated watch file. - -- Samuel Mimram <smimram@debian.org> Thu, 03 Jan 2008 17:30:39 +0000 + -- Samuel Mimram <smimram@debian.org> Fri, 04 Jan 2008 13:21:43 +0000 coq (8.1.pl2+dfsg-3) unstable; urgency=low |