[Pkg-ocaml-maint-commits] r5024 - /trunk/packages/coq/trunk/debian/changelog

[smimram at users.alioth.debian.org]

Author: smimram
Date: Fri Jan  4 13:22:08 2008
New Revision: 5024

URL: http://svn.debian.org/wsvn/pkg-ocaml-maint/?sc=1&rev=5024
Log:
Makefile should now be compatible with dash.

Modified:
    trunk/packages/coq/trunk/debian/changelog

Modified: trunk/packages/coq/trunk/debian/changelog
URL: http://svn.debian.org/wsvn/pkg-ocaml-maint/trunk/packages/coq/trunk/debian/changelog?rev=5024&op=diff
==============================================================================
--- trunk/packages/coq/trunk/debian/changelog (original)
+++ trunk/packages/coq/trunk/debian/changelog Fri Jan  4 13:22:08 2008
@@ -5,9 +5,10 @@
 
   [ Samuel Mimram ]
   * New upstream release.
+  * Makefile should now be compatible with dash, closes: #459050.
   * Updated watch file.
 
- -- Samuel Mimram <smimram at debian.org>  Thu, 03 Jan 2008 17:30:39 +0000
+ -- Samuel Mimram <smimram at debian.org>  Fri, 04 Jan 2008 13:21:43 +0000
 
 coq (8.1.pl2+dfsg-3) unstable; urgency=low