[Pkg-ocaml-maint-commits] [SCM] Debian packaging for coccinelle branch, patched, updated. debian/0.1.8.deb-1-11-gd17294f

[Eugeniy Meshcheryakov]

The following commit has been merged in the patched branch:
commit 09698d7cb6ad085040f85ed7fdc71b0e9e71ed9c
Merge: ec68ef4982aa1f844ae4b62ba7cfd357e6f22de5 cb17b17dd971ea8d386f5adafc6139c9ebcfa9da
Author: Eugeniy Meshcheryakov <eugen at debian.org>
Date:   Mon May 11 14:47:55 2009 +0200

    Merge branch 'master' into patched


-- 
Debian packaging for coccinelle