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

[Eugeniy Meshcheryakov]

The following commit has been merged in the master branch:
commit b88d91889b20cf749129d90971e172e20fb77aab
Merge: 13cdf2095f06faeb6616831bab82953f0a374957 20150e68212fa80de9edb91d0d7a7ab82dc37fd4
Author: Eugeniy Meshcheryakov <eugen at debian.org>
Date:   Sun Jul 22 22:32:24 2012 +0200

    Merge tag 'upstream/1.0.0_rc14.deb'
    
    Upstream version 1.0.0~rc14.deb


-- 
Debian packaging for coccinelle