[Pkg-ocaml-maint-commits] [SCM] Debian packaging for coccinelle branch, master, updated. debian/1.0.0_rc11.deb-1-14-ge1f61b4

[Eugeniy Meshcheryakov]

The following commit has been merged in the master branch:
commit 0e8e66bbcbc819bd23026e532e0a431e095efd90
Merge: 7c319b7e676cdf4e252abf89aba20aeab38bc083 5bf9139149c96f223ba2183641e06f4b5794204b
Author: Eugeniy Meshcheryakov <eugen at debian.org>
Date:   Mon Apr 9 15:28:29 2012 +0200

    Merge tag 'upstream/1.0.0_rc12.deb'
    
    Upstream version 1.0.0~rc12.deb


-- 
Debian packaging for coccinelle