[Pkg-ocaml-maint-commits] [SCM] cppo packaging branch, pristine-tar, updated. 04c6791c3e51d2a5b6d9583fd20482211433066d

2013-06-02 Thread Hendrik Tews
The following commit has been merged in the pristine-tar branch: commit 04c6791c3e51d2a5b6d9583fd20482211433066d Author: Hendrik Tews hend...@askra.de Date: Sat Jun 1 22:25:10 2013 +0200 pristine-tar data for cppo_0.9.3.orig.tar.gz diff --git a/cppo_0.9.3.orig.tar.gz.delta

[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 annotated tag, debian/0.9.3-1, created. debian/0.9.3-1

2013-06-02 Thread Hendrik Tews
The annotated tag, debian/0.9.3-1 has been created at a1d6acad685366449fd5e04762e0720fde5ca786 (tag) tagging 3ab0c1c003f14887d46956b86dd25f7b2f321957 (commit) replaces debian/0.9.2-1 tagged by Hendrik Tews on Sun Jun 2 23:15:15 2013 +0200 - Shortlog

[Pkg-ocaml-maint-commits] [SCM] cppo packaging annotated tag, upstream/0.9.3, created. upstream/0.9.3

2013-06-02 Thread Hendrik Tews
The annotated tag, upstream/0.9.3 has been created at 252ce29f5189c74ec335f962ad3c897d4cdf016d (tag) tagging d56eaebfc96c93b66eb7d67831e6581174a8cc0b (commit) replaces upstream/0.9.2 tagged by Hendrik Tews on Sat Jun 1 22:25:10 2013 +0200 - Shortlog

[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 ---