diff options
-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 |