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

[Eugeniy Meshcheryakov]

The following commit has been merged in the master branch:
commit 68f45bab87f2e991f88371cff83ca885b6d52609
Merge: babb140684fadf2dc6336c21439cd2dad3a30f80 4e2c314abc2b4d89b3f3c7b5ad0539fb953c0c40
Author: Eugeniy Meshcheryakov <eugen at debian.org>
Date:   Sun Dec 30 16:55:25 2012 +0100

    Merge tag 'upstream/1.0.0_rc16.deb'
    
    Upstream version 1.0.0~rc16.deb


-- 
Debian packaging for coccinelle