[Pkg-ocaml-maint-commits] [SCM] cppo packaging branch, master, updated. debian/0.9.2-1-5-g3ab0c1c

2013-06-02 Thread Hendrik Tews
The following commit has been merged in the master branch: commit 1bc93864dfab856478e6a8c29fba896a979ad50d Merge: 027a58c2efb0c58a7ced775dfcf3447d12c3214c d56eaebfc96c93b66eb7d67831e6581174a8cc0b Author: Hendrik Tews hend...@askra.de Date: Sat Jun 1 22:25:10 2013 +0200 Merge tag

[Pkg-ocaml-maint-commits] [SCM] cppo packaging branch, master, updated. debian/0.9.2-1-5-g3ab0c1c

2013-06-02 Thread Hendrik Tews
The following commit has been merged in the master branch: commit 027a58c2efb0c58a7ced775dfcf3447d12c3214c Author: Hendrik Tews hend...@askra.de Date: Sat Jun 1 22:24:25 2013 +0200 update watch file diff --git a/debian/changelog b/debian/changelog index 5730a61..42fe498 100644 ---

[Pkg-ocaml-maint-commits] [SCM] cppo packaging branch, master, updated. debian/0.9.2-1-5-g3ab0c1c

2013-06-02 Thread Hendrik Tews
The following commit has been merged in the master branch: commit 3ab0c1c003f14887d46956b86dd25f7b2f321957 Author: Hendrik Tews hend...@askra.de Date: Sun Jun 2 23:03:54 2013 +0200 various packaging changes diff --git a/debian/changelog b/debian/changelog index 42fe498..801e408 100644 ---