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

[Eugeniy Meshcheryakov]

The following commit has been merged in the master branch:
commit fde5b1c5b0197ab3827b187acc17608e8fa3afcd
Merge: 0396d89637479c686a67719246591637a596e496 b08e1145733e82590071ed4064f5adc5af37a5d7
Author: Eugeniy Meshcheryakov <eugen at debian.org>
Date:   Sun Aug 19 20:35:37 2012 +0200

    Merge tag 'upstream/1.0.0_rc15.deb'
    
    Upstream version 1.0.0~rc15.deb


-- 
Debian packaging for coccinelle