[Pkg-ocaml-maint-commits] [SCM] zed packaging branch, master, updated. upstream/1.1-18-gffdd812

[Lifeng Sun]

The following commit has been merged in the master branch:
commit a0fdb3ea887e2e5e8c4b4ff1d1c29a191d8d8ee5
Merge: 1e193a0bfbefbc4f4b004db614e4f0c7f4bdc88f 4cecea9ebf6bb8eb8511b65650c22ddc2fa19e87
Author: Lifeng Sun <lifongsun at gmail.com>
Date:   Sat Jul 6 11:16:35 2013 +0800

    Merge tag 'upstream/1.2'
    
    Upstream version 1.2


-- 
zed packaging