[Pkg-ocaml-maint-commits] [SCM] coq packaging branch, master, updated. debian/8.3.pl1+dfsg-2-1-g4b1c150

[Stephane Glondu]

The following commit has been merged in the master branch:
commit 4b1c150e26881501db9aa944df6406150fc0670d
Author: Stephane Glondu <steph at 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