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

Sun Nov 25 11:06:51 UTC 2012

The following commit has been merged in the experimental/master branch:
commit 717ffd830bad0d27fd54395be5a408a1da556fd6
Merge: 72ea5c4db969f4ed542adb0209c7f6b871b90be5 81e363e92b05d2b825f6b5e9cde4504aef85a6bf
Author: Ralf Treinen <treinen at debian.org>
Date:   Sun Nov 25 12:03:37 2012 +0100

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


-- 
dose3 packaging