The following commit has been merged in the master branch:
commit 656eaa9311ac418d6aaf4780a15358e9c1fe05d4
Author: Sylvain Le Gall <gil...@debian.org>
Date:   Thu Apr 7 00:35:23 2011 +0200

    Fix patched _tags

diff --git a/_tags b/_tags
index f89086b..45b3b0f 100644
--- a/_tags
+++ b/_tags
@@ -218,4 +218,4 @@
 <src/cli/Main.byte>: -use_base
 <src/cli/Main.byte>: -use_oasis
 
-#<src/builtin-plugins.cma>: use_ocamlbuild
+<src/builtin-plugins.cma>: use_ocamlbuild

-- 
oasis packaging

_______________________________________________
Pkg-ocaml-maint-commits mailing list
Pkg-ocaml-maint-commits@lists.alioth.debian.org
http://lists.alioth.debian.org/mailman/listinfo/pkg-ocaml-maint-commits

Reply via email to