[Pkg-ocaml-maint-commits] [SCM] extlib packaging branch, master, updated. debian/1.5.2-1-9-g4259745

[Lifeng Sun]

The following commit has been merged in the master branch:
commit 3a527ff71695ac1a9d3240ec839378dd6309520b
Merge: f0ab99a4f80d3f6d84736bdb13a09402a8ba6c55 b41472c90f70ea675f05913994b94568db5ab29e
Author: Lifeng Sun <lifongsun at gmail.com>
Date:   Sun May 12 07:44:52 2013 +0800

    Merge tag 'upstream/1.5.4'
    
    Upstream version 1.5.4


-- 
extlib packaging