[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 e4b0451fe03d2320ee2cf525ae9c530868b8c468
Author: Ralf Treinen <treinen at free.fr>
Date:   Mon Oct 18 09:02:42 2010 +0200

    disable all patches

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

-- 
dose3 packaging