The following commit has been merged in the master branch:
commit 4b1c150e26881501db9aa944df6406150fc0670d
Author: Stephane Glondu <st...@glondu.net>
Date: Tue Apr 19 12:35:37 2011 +0200
Promote 8.3 branch to master branch
diff --git a/debian/gbp.conf b/debian/gbp.conf
index dfa07a0..cec628c 100644
--- a/debian/gbp.conf
+++ b/debian/gbp.conf
@@ -1,4 +1,2 @@
[DEFAULT]
pristine-tar = True
-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/mailman/listinfo/pkg-ocaml-maint-commits
