From 514dce2dfe717e3ed2e37dce6467b56219d451c1 Mon Sep 17 00:00:00 2001 From: Samuel Mimram Date: Sun, 19 Feb 2006 11:48:47 +0000 Subject: Rephrasing changelog. --- debian/changelog | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/debian/changelog b/debian/changelog index 80dde408..afb42a67 100644 --- a/debian/changelog +++ b/debian/changelog @@ -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 Sun, 19 Feb 2006 11:33:21 +0000 -- cgit v1.2.3