[Pkg-ocaml-maint-commits] [SCM] Debian packaging for coccinelle branch, patched, updated. patched/0.1.7.deb-2-3-gec68ef4

[Eugeniy Meshcheryakov]

The following commit has been merged in the patched branch:
commit 3004939cced796914c18c74daa2ff3113c30659a
Merge: 1763f0c0568750a04ae99b61c3f64e11e5dcfb91 a85ce1d3f59f2a2243f01108bfa3c0d494227740
Author: Eugeniy Meshcheryakov <eugen at debian.org>
Date:   Sat May 2 02:06:33 2009 +0200

    Merge branch 'master' into patched


-- 
Debian packaging for coccinelle