summaryrefslogtreecommitdiff
path: root/debian
diff options
context:
space:
mode:
authorGravatar Samuel Mimram <smimram@debian.org>2008-01-04 13:22:08 +0000
committerGravatar Samuel Mimram <smimram@debian.org>2008-01-04 13:22:08 +0000
commit749b50f73ab620e8e35c8374269ede81e1d4c567 (patch)
tree33cc962373d140aba734547ce82e64204c9704c3 /debian
parent36c5f85625ee70a4dced2d244aa4fca4a10e41de (diff)
Makefile should now be compatible with dash.
Diffstat (limited to 'debian')
-rw-r--r--debian/changelog3
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