[Pkg-ocaml-maint-commits] [SCM] Debian packaging for coccinelle branch, master, updated. debian/1.0.0_rc7.deb-5-5-g3461b11

[Євгеній Мещеряков]

The following commit has been merged in the master branch:
commit 4ec834839ba4c83184729156c36e6810a217149a
Merge: 151279f1c9becfc4050879b26dff9244485eaeb7 3d0aa6f6cc3d5bc24971fd099529650e8b8da516
Author: Євгеній Мещеряков <eugen at debian.org>
Date:   Sat Jan 14 21:34:22 2012 +0100

    Merge commit 'upstream/1.0.0_rc9.deb'


-- 
Debian packaging for coccinelle