The following commit has been merged in the master branch:
commit 7ebd874126a513c29a8b10e7e6ea2c7e745ab33c
Merge: 967ef647c79fa0409671b819a1ab5477419eb762 
8917ab003a9b7f2abf8e399b5e7ad013b31a2e0e
Author: Stephane Glondu <st...@glondu.net>
Date:   Thu Sep 20 09:41:14 2012 +0200

    Merge tag 'upstream/0.3'
    
    Upstream version 0.3


-- 
aac-tactics packaging

_______________________________________________
Pkg-ocaml-maint-commits mailing list
Pkg-ocaml-maint-commits@lists.alioth.debian.org
http://lists.alioth.debian.org/cgi-bin/mailman/listinfo/pkg-ocaml-maint-commits

Reply via email to