[Pkg-ocaml-maint-commits] [SCM] alt-ergo packaging branch, experimental/master, updated. debian/0.94-2-38-g8ad49e6

[Ralf Treinen]

The following commit has been merged in the experimental/master branch:
commit 8ad49e643e3cee0a5d0d067bb71d68427a3b0f4f
Author: Ralf Treinen <treinen at free.fr>
Date:   Mon Apr 15 08:18:56 2013 +0200

    patch 0009-clean-remove-META forwarded to INRIA

diff --git a/debian/patches/0009-clean-remove-META.patch b/debian/patches/0009-clean-remove-META.patch
index 18eed6c..ac35c26 100644
--- a/debian/patches/0009-clean-remove-META.patch
+++ b/debian/patches/0009-clean-remove-META.patch
@@ -1,5 +1,6 @@
 Author: Ralf Treinen <treinen at debian.org>
 Description: "make clean" must also remove META
+Forwarded: https://gforge.inria.fr/tracker/index.php?func=detail&aid=15615&group_id=2340&atid=8106
 
 Index: alt-ergo/Makefile.in
 ===================================================================

-- 
alt-ergo packaging