[Pkg-ocaml-maint-commits] [SCM] jocaml packaging branch, master, updated. debian/3.11.0-3-23-g34a742d

[Mehdi Dogguy]

The following commit has been merged in the master branch:
commit 255a3ce6b54ce0143159b3553bc8d2faababa69c
Merge: caa268f2aaeeaa325f5d0013969ef2964ccf29bc 8106a7e87f6ca04df95b6dce1f5d154a390f06fb
Author: Mehdi Dogguy <dogguy at pps.jussieu.fr>
Date:   Tue Jul 7 16:46:08 2009 +0200

    Merge commit 'upstream/3.11.1'


-- 
jocaml packaging