The following commit has been merged in the master branch:
commit a6320c45386e4df15a4ac5018f62f53bdf0a5712
Merge: f1ea010db3d6e8822b37be26685db42d1b2f430a 
a76c7cc5e82645d2aac11d8d6d9c333d9831c435
Author: Hendrik Tews <hend...@askra.de>
Date:   Mon May 27 09:32:23 2013 +0200

    Merge tag 'upstream/0.9.5'
    
    Upstream version 0.9.5


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