The following commit has been merged in the master branch:
commit 7b1e7d489a8e220dfee155ebcf63ce39305e0c3c
Merge: e1355f4a0c3a7b6a0e962910a4eb16e7d5367108 
7242d756645c923803c1ffe130be41114c25185a
Author: Stephane Glondu <st...@glondu.net>
Date:   Thu May 9 13:23:51 2013 +0200

    Merge tag 'upstream/0.3.pl1'
    
    Upstream version 0.3.pl1


-- 
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