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

[Samuel Mimram]

Author: smimram
Date: 2006-02-19 11:48:47 +0000 (Sun, 19 Feb 2006)
New Revision: 2580

Modified:
   trunk/packages/coq/trunk/debian/changelog
Log:
Rephrasing changelog.

Modified: trunk/packages/coq/trunk/debian/changelog
===================================================================
--- trunk/packages/coq/trunk/debian/changelog	2006-02-19 11:36:35 UTC (rev 2579)
+++ trunk/packages/coq/trunk/debian/changelog	2006-02-19 11:48:47 UTC (rev 2580)
@@ -1,7 +1,7 @@
 coq (8.0pl3-2) unstable; urgency=low
 
-  * Added coq-8.0pl3-ocaml-3.09.dpatch to avoid intuition to loop forever,
-    closes: #353493.
+  * Added coq-8.0pl3-ocaml-3.09.dpatch in order to prevent intuition from
+    looping forever, closes: #353493.
 
  -- Samuel Mimram <smimram at debian.org>  Sun, 19 Feb 2006 11:33:21 +0000