[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 ab774c090787829df675b03dd5473c6133c591b5
Merge: 976f6a56a85cf51d9e57fd06873ad2446cb9853d 92906aee94fa4a18f56bc7e88571d9cc2a473765
Author: Ralf Treinen <treinen at free.fr>
Date:   Sun Jun 17 13:03:04 2012 +0200

    Merge tag 'upstream/3.0'
    
    Upstream version 3.0


-- 
dose3 packaging