[Pkg-ocaml-maint-commits] [SCM] coq packaging branch, experimental/master, updated. debian/8.4_gamma0+really8.4beta2+dfsg-1-7-ge0356f0

[Stephane Glondu]

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