[Pkg-ocaml-maint-commits] [SCM] Debian packaging for coccinelle branch, master, updated. debian/1.0.0_rc10.deb-1-6-geff3382

[Eugeniy Meshcheryakov]

The following commit has been merged in the master branch:
commit 6f0627fc0f7e6c53bf17b340280b425755ed53f1
Merge: a56a4dc49b2451ff0ca849b8a91569473fa2dce4 c519795fc4b4d646c6fd02d50bc536770fd708d7
Author: Eugeniy Meshcheryakov <eugen at debian.org>
Date:   Sat Mar 17 22:05:54 2012 +0100

    Merge tag 'upstream/1.0.0_rc11.deb'
    
    Upstream version 1.0.0~rc11.deb


-- 
Debian packaging for coccinelle