[Pkg-ocaml-maint-commits] [SCM] Debian packaging for coccinelle branch, master, updated. debian/1.0.0_rc9.deb-1-4-ga56a4dc

2012-02-21 Thread Eugeniy Meshcheryakov
The following commit has been merged in the master branch: commit a56a4dc49b2451ff0ca849b8a91569473fa2dce4 Author: Eugeniy Meshcheryakov Date: Tue Feb 21 22:25:54 2012 +0100 New upstream RC diff --git a/debian/changelog b/debian/changelog index e219945..c10f97e 100644 --- a/debian/changelo

[Pkg-ocaml-maint-commits] [SCM] Debian packaging for coccinelle branch, master, updated. debian/1.0.0_rc9.deb-1-4-ga56a4dc

2012-02-21 Thread Eugeniy Meshcheryakov
The following commit has been merged in the master branch: commit d0daec7b2a1ce6a63a916200acc0b2ea7a34c35a Merge: a9dca9b8cc893ee434e24cfc19d4ee2cabc49251 af81b6d3addad6dcf9158eb1d770290ce098ba20 Author: Eugeniy Meshcheryakov Date: Tue Feb 21 22:21:13 2012 +0100 Merge tag 'upstream/1.0.0_r

[Pkg-ocaml-maint-commits] [SCM] Debian packaging for coccinelle branch, master, updated. debian/1.0.0_rc9.deb-1-4-ga56a4dc

2012-02-21 Thread Eugeniy Meshcheryakov
The following commit has been merged in the master branch: commit a9dca9b8cc893ee434e24cfc19d4ee2cabc49251 Author: Eugeniy Meshcheryakov Date: Tue Feb 21 22:21:03 2012 +0100 Update debian/watch diff --git a/debian/changelog b/debian/changelog index e2585c0..e219945 100644 --- a/debian/chan