[Pkg-ocaml-maint-commits] [SCM] jocaml packaging branch, master, updated. debian/3.11.0-3-3-g04db433

[Mehdi Dogguy]

The following commit has been merged in the master branch:
commit 04db433abe54292e9907e88dd743cfad6201f2f7
Author: Mehdi Dogguy <dogguy at pps.jussieu.fr>
Date:   Sat Jun 13 17:19:22 2009 +0200

    Installing toploop.cmi

diff --git a/debian/changelog b/debian/changelog
index 6d8b072..4583e6d 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -1,7 +1,7 @@
 jocaml (3.11.0-4) UNRELEASED; urgency=low
 
   * UNRELEASED
-  * Install toplevel library, Closes: #532989.
+  * Install toplevel library, Closes: #532989, #532981.
 
  -- Mehdi Dogguy <dogguy at pps.jussieu.fr>  Tue, 07 Apr 2009 16:37:31 +0200
 

-- 
jocaml packaging