[Pkg-ocaml-maint-commits] [SCM] dose3 packaging branch, master, updated. upstream/0.7-40-ge4b0451

[Ralf Treinen]

The following commit has been merged in the master branch:
commit 635f674910f1b861a384ba7ecf593524569dfb24
Author: Ralf Treinen <treinen at free.fr>
Date:   Mon Oct 18 09:01:19 2010 +0200

    patch build-libraries seems to be integrated by upstream

diff --git a/debian/patches/series b/debian/patches/series
index 1456e2f..800ed44 100644
--- a/debian/patches/series
+++ b/debian/patches/series
@@ -1,2 +1,2 @@
-build-libraries
+# build-libraries
 install

-- 
dose3 packaging