[Pkg-ocaml-maint-commits] [SCM] dose3 packaging branch, master, updated. debian/2.9.14-3-5-gc89c704

Fri Mar 30 13:41:55 UTC 2012

The following commit has been merged in the master branch:
commit c8bce0c2dac5029e667c64373bbe9af1ba55cabe
Merge: de3ed83ca3a9689a084052b46ee3409394ed7d6c 85a30187bc7dd54f5f71fc739a5f8f3209520730
Author: Ralf Treinen <treinen at pps.jussieu.fr>
Date:   Fri Mar 30 15:22:51 2012 +0200

    Merge tag 'upstream/2.9.15'
    
    Upstream version 2.9.15


-- 
dose3 packaging