[Pkg-ocaml-maint-commits] [SCM] lambda-term packaging branch, master, updated. upstream/1.1-12-g36b8346

[Lifeng Sun]

The following commit has been merged in the master branch:
commit 014a12f925dcbb35a88fe89f09f4a9a0f922b21e
Merge: 4e8169a9d5f26d4ee94e54137c85d803bedb0519 9c0e4c5c483da27b622dabab3f62450d5488b94d
Author: Lifeng Sun <lifongsun at gmail.com>
Date:   Sat Jul 6 11:05:29 2013 +0800

    Merge tag 'upstream/1.4'
    
    Upstream version 1.4


-- 
lambda-term packaging