[Pkg-ocaml-maint-commits] [SCM] Debian packaging for coccinelle branch, fixes/documentation-build, updated. upstream/0.1.8.deb-4-gded2bc1

[Eugeniy Meshcheryakov]

The following commit has been merged in the fixes/documentation-build branch:
commit ded2bc16201ea41b11775616543819008ccf5a99
Merge: b3f6d42516cc1ed9aaa03ab7d162fc2077a4e5ba 3dd4272df1286c1f670853c1583dccd6bca4546a
Author: Eugeniy Meshcheryakov <eugen at debian.org>
Date:   Sun Aug 9 20:40:42 2009 +0200

    Merge commit 'refs/top-bases/fixes/documentation-build' into fixes/documentation-build


-- 
Debian packaging for coccinelle