[Pkg-ocaml-maint-commits] [SCM] coq-doc packaging branch, master, updated. debian/8.3pl2-1-4-g92d7736

2012-01-03 Thread Stephane Glondu
The following commit has been merged in the master branch: commit ccb3a85ab9728d6937711d41782b28c8aa943e72 Merge: 3e87e64e6b69dacb981fbe7ca770928ea55f1413 2b84638556d9a5ee36ae21ef29351507c46bbd6b Author: Stephane Glondu st...@glondu.net Date: Tue Jan 3 23:41:42 2012 +0100 Merge commit

[Pkg-ocaml-maint-commits] [SCM] coq-doc packaging branch, master, updated. debian/8.3pl2-1-4-g92d7736

2012-01-03 Thread Stephane Glondu
The following commit has been merged in the master branch: commit 84aab6656c477bbc817bfaf9829f758365538fd2 Author: Stephane Glondu st...@glondu.net Date: Tue Jan 3 23:42:46 2012 +0100 New upstream release diff --git a/debian/changelog b/debian/changelog index 67cae65..6de8ca3 100644 ---

[Pkg-ocaml-maint-commits] [SCM] coq-doc packaging branch, master, updated. debian/8.3pl2-1-4-g92d7736

2012-01-03 Thread Stephane Glondu
The following commit has been merged in the master branch: commit 92d773674c3489e274988c5455c3f5dd50004112 Author: Stephane Glondu st...@glondu.net Date: Tue Jan 3 23:42:57 2012 +0100 Prepare upload to unstable diff --git a/debian/changelog b/debian/changelog index 6de8ca3..26b6812 100644