From 668a6055913e047843f505f09c89a8a7badd4dff Mon Sep 17 00:00:00 2001
From: Stephane Glondu <steph@glondu.net>
Date: Thu, 3 Dec 2009 11:21:58 +0100
Subject: Switch to dh-ocaml 0.9

---
 debian/changelog | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

(limited to 'debian/changelog')

diff --git a/debian/changelog b/debian/changelog
index 8da624c6..11765483 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -1,8 +1,12 @@
 coq (8.2.pl1+dfsg-4) UNRELEASED; urgency=low
 
+  [ Stefano Zacchiroli ]
   * debian/control: fix typo in long description (Closes: #557458)
 
- -- Stefano Zacchiroli <zack@debian.org>  Sun, 22 Nov 2009 16:26:20 +0100
+  [ Stéphane Glondu ]
+  * Switch to dh-ocaml 0.9
+
+ -- Stéphane Glondu <glondu@debian.org>  Thu, 03 Dec 2009 11:21:27 +0100
 
 coq (8.2.pl1+dfsg-3) unstable; urgency=low
 
-- 
cgit v1.2.3