The following commit has been merged in the experimental/master branch:
commit 8ad49e643e3cee0a5d0d067bb71d68427a3b0f4f
Author: Ralf Treinen <trei...@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 <trei...@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
_______________________________________________
Pkg-ocaml-maint-commits mailing list
Pkg-ocaml-maint-commits@lists.alioth.debian.org
http://lists.alioth.debian.org/cgi-bin/mailman/listinfo/pkg-ocaml-maint-commits
