[Pkg-ocaml-maint-commits] [SCM] dose3 packaging branch, master, updated. debian/3.0.1-1-6-ge953786

2012-06-25 Thread Ralf Treinen
The following commit has been merged in the master branch: commit 3e91f69ffc89817c90c6217d46fd3edd5b392cd1 Merge: 54c1fe9788a7f7618abb5c4597c29d9008e0a51b 7c7424c7110691381b0f71b559936a800bcd8437 Author: Ralf Treinen trei...@debian.org Date: Mon Jun 25 15:45:10 2012 +0200 Merge tag

[Pkg-ocaml-maint-commits] [SCM] dose3 packaging branch, master, updated. debian/3.0.1-1-6-ge953786

2012-06-25 Thread Ralf Treinen
The following commit has been merged in the master branch: commit c6272df4177c28d297f0a68d7ba9e52e0416ddde Author: Ralf Treinen trei...@debian.org Date: Mon Jun 25 15:46:02 2012 +0200 upstream 3.0.2 diff --git a/debian/changelog b/debian/changelog index 726fab1..6b0197e 100644 ---

[Pkg-ocaml-maint-commits] [SCM] dose3 packaging branch, master, updated. debian/3.0.1-1-6-ge953786

2012-06-25 Thread Ralf Treinen
The following commit has been merged in the master branch: commit 4a84c0151a82ce759ba643b1b618e39ae8132028 Author: Ralf Treinen trei...@debian.org Date: Mon Jun 25 15:51:32 2012 +0200 drop patch manpage-distcheck since it has been integrated upstream now diff --git

[Pkg-ocaml-maint-commits] [SCM] dose3 packaging branch, master, updated. debian/3.0.1-1-6-ge953786

2012-06-25 Thread Ralf Treinen
The following commit has been merged in the master branch: commit 0e4ea4477550d194fc3b0589301ef02910dec760 Author: Ralf Treinen trei...@debian.org Date: Mon Jun 25 15:58:15 2012 +0200 fix debian/licence continuation lines were missing in licence paragraphe 'connection-licence'

[Pkg-ocaml-maint-commits] [SCM] dose3 packaging branch, master, updated. debian/3.0.1-1-6-ge953786

2012-06-25 Thread Ralf Treinen
The following commit has been merged in the master branch: commit e953786413ecfcf73abf369329ed8cf82dbef3b2 Author: Ralf Treinen trei...@debian.org Date: Mon Jun 25 16:07:41 2012 +0200 fix typo in debian/copyright diff --git a/debian/changelog b/debian/changelog index bfb58d3..87e02de