[Pkg-ocaml-maint-commits] [SCM] dose3 packaging branch, master, updated. debian/3.1.3-2-6-g4af2ca6

[Ralf Treinen]

The following commit has been merged in the master branch:
commit 4cd5c613453861d4f51fc6d279789687be5a499e
Merge: 479017aca60f08e9484eeb0181953f94b55272b3 811a15eecb2d04f78c0061d384985532dcb551a0
Author: Ralf Treinen <treinen at free.fr>
Date:   Tue May 7 20:21:00 2013 +0200

    Merge branch 'experimental/master'


-- 
dose3 packaging