[Pkg-ocaml-maint-commits] [SCM] dose3 packaging branch, master, updated. upstream/0.7-11-g13b2479

[Ralf Treinen]

The following commit has been merged in the master branch:
commit 5c979d5c6ce9c3298472a5ead52f663eed7f5678
Merge: af4b4b7d79b0f5fe5ab24a093fe0a2832b9ce65b 7ebae0d6ca07d782173ec9884f984785c86ef26e
Author: Ralf Treinen <treinen at free.fr>
Date:   Thu Jul 8 21:25:57 2010 +0200

    Merge commit 'upstream/0.7.1'


-- 
dose3 packaging