The following commit has been merged in the experimental/master branch:
commit ab08ae9f0f944d9f801c44e4ffd3e6b7fcf4b024
Author: Stephane Glondu <st...@glondu.net>
Date: Mon Aug 20 18:25:30 2012 +0200
Use experimental branches
diff --git a/debian/gbp.conf b/debian/gbp.conf
index 126a7b7..68cfceb 100644
--- a/debian/gbp.conf
+++ b/debian/gbp.conf
@@ -16,3 +16,5 @@ filter = [
"doc/rt",
"doc/tools",
"doc/tutorial" ]
+upstream-branch=experimental/upstream
+debian-branch=experimental/master
--
coq 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
