The following commit has been merged in the master branch:
commit c38325657da21ab76a9e8614e53fb40dc27337ea
Merge: e23e490077e2d7d6aeaeac8a12def75ee471ce73 
9f8b4a2a74250a819ba4f3c1659e5b452690550a
Author: Eugeniy Meshcheryakov <eu...@debian.org>
Date:   Wed May 1 17:34:11 2013 +0200

    Merge tag 'upstream/1.0.0_rc17.deb'
    
    Upstream version 1.0.0~rc17.deb


-- 
Debian packaging for coccinelle

_______________________________________________
Pkg-ocaml-maint-commits mailing list
Pkg-ocaml-maint-commits@lists.alioth.debian.org
http://lists.alioth.debian.org/cgi-bin/mailman/listinfo/pkg-ocaml-maint-commits

Reply via email to