[Pkg-ocaml-maint-commits] [SCM] aac-tactics packaging branch, master, updated. debian/0.2.pl2-7-6-g0ed3399

[Stephane Glondu]

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

    Merge tag 'upstream/0.3'
    
    Upstream version 0.3


-- 
aac-tactics packaging