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

[Eugeniy Meshcheryakov]

The following commit has been merged in the patched branch:
commit 9934402037edf14126167f2f20a644dbff85f7f8
Merge: a7f34a596708affd7360d65abb40399dd319b094 50c5afdeab5f079026cf36e3782168aa93241e69
Author: Eugeniy Meshcheryakov <eugen at debian.org>
Date:   Sat Apr 18 04:28:59 2009 +0200

    Merge branch 'master' into patched


-- 
Debian packaging for coccinelle