The following commit has been merged in the master branch:
commit 4798a28a9eafc460882a4976ba08ea94a4309c07
Merge: c18e4b814b6bb2e4d83bdb5832c789a6d3ab44c3 
26a540fef0a89d97a9525c879eeef3d3557ee3b2
Author: Mehdi Dogguy <me...@debian.org>
Date:   Tue Jun 25 21:51:05 2013 +0200

    Merge tag 'upstream/20130601+fluorine3+dfsg'
    
    Upstream version 20130601+fluorine3+dfsg


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