[Pkg-ocaml-maint-commits] [SCM] dose3 packaging branch, experimental/master, updated. debian/3.0.2-3-13-ge34a315

Wed Oct 17 09:45:22 UTC 2012

The following commit has been merged in the experimental/master branch:
commit a5b16332b902561c415b8cbc6549a433f8a214a4
Merge: 2dd50f67ac331ff090ab708ab35d7e6ec3ee7e7a dd365cac607efbd63287ec538245923956f8a11b
Author: Ralf Treinen <treinen at pps.univ-paris-diderot.fr>
Date:   Wed Oct 17 11:07:13 2012 +0200

    Merge tag 'upstream/3.1.2' into experimental/master
    
    Upstream version 3.1.2


-- 
dose3 packaging