[Pkg-ocaml-maint-commits] [SCM] Debian packaging for coccinelle branch, master, updated. debian/0.2.3.deb-1-7-g80f9850

[Eugeniy Meshcheryakov]

The following commit has been merged in the master branch:
commit 1a743e0fca728fc05371f03291f36522d46e7f4b
Merge: 3346a5433b75bec0c61b195c78f67decec34e075 407407e2d638a312354e530601569ea0b960fa60
Author: Eugeniy Meshcheryakov <eugen at debian.org>
Date:   Sun Nov 21 20:45:13 2010 +0100

    Merge commit 'upstream/0.2.4.deb'


-- 
Debian packaging for coccinelle