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

[Eugeniy Meshcheryakov]

The following commit has been merged in the master branch:
commit d0daec7b2a1ce6a63a916200acc0b2ea7a34c35a
Merge: a9dca9b8cc893ee434e24cfc19d4ee2cabc49251 af81b6d3addad6dcf9158eb1d770290ce098ba20
Author: Eugeniy Meshcheryakov <eugen at debian.org>
Date:   Tue Feb 21 22:21:13 2012 +0100

    Merge tag 'upstream/1.0.0_rc10.deb'
    
    Upstream version 1.0.0~rc10.deb


-- 
Debian packaging for coccinelle