[Pkg-ocaml-maint-commits] [SCM] dose3 packaging branch, master, updated. debian/3.0.1-1-6-ge953786

[Ralf Treinen]

The following commit has been merged in the master branch:
commit 3e91f69ffc89817c90c6217d46fd3edd5b392cd1
Merge: 54c1fe9788a7f7618abb5c4597c29d9008e0a51b 7c7424c7110691381b0f71b559936a800bcd8437
Author: Ralf Treinen <treinen at debian.org>
Date:   Mon Jun 25 15:45:10 2012 +0200

    Merge tag 'upstream/3.0.2'
    
    Upstream version 3.0.2


-- 
dose3 packaging