[Pkg-ocaml-maint-commits] [SCM] ceve packaging branch, master, updated. debian/1.4-1-2-g4b24b00

Tue Jul 21 18:09:45 UTC 2009

The following commit has been merged in the master branch:
commit f66f3a93e613cc38042b8201c5b3c610e2492353
Merge: 51b7fd730d9d33d7b79df565c2bfb3c87827dbb0 ca4223447769114cb94516ecf24dd449fdacb1f6
Author: Ralf Treinen <treinen at free.fr>
Date:   Tue Jul 21 19:50:50 2009 +0200

    Merge commit 'upstream/1.4'


-- 
ceve packaging