[Pkg-ocaml-maint-commits] [SCM] dose3 packaging branch, master, updated. debian/2.9.17-1-10-g2b3461c

[Ralf Treinen]

The following commit has been merged in the master branch:
commit 769989d555db3ca03641202e992ec415f3a531b6
Merge: 65a47e5b374a55be99f3be8ee00cc6b7c65bbba2 cc861659f8eeb39cd8cffd1f87dbe24bee543e68
Author: Ralf Treinen <treinen at free.fr>
Date:   Sun Jun 17 14:54:42 2012 +0200

    Merge tag 'upstream/3.0.1'
    
    Upstream version 3.0.1


-- 
dose3 packaging