[Pkg-ocaml-maint-commits] [SCM] dose3 packaging branch, master, updated. debian/2.9.3-1-8-gf4d7102

[Ralf Treinen]

The following commit has been merged in the master branch:
commit 858522ccc128f873efe69d162bf0f9588d4478ac
Merge: 2b4e569833ec4563e4207518433471133362eb32 2a0fa050f6d5b16c6326c2584fad7670038e3a71
Author: Ralf Treinen <treinen at free.fr>
Date:   Wed Jun 1 09:26:02 2011 +0200

    Merge commit 'upstream/2.9.4'


-- 
dose3 packaging