[Pkg-ocaml-maint-commits] [SCM] obus packaging branch, master, updated. debian/1.1.4-2-5-gf6a7ca0

[Stephane Glondu]

The following commit has been merged in the master branch:
commit 456da4da87d284fa71103d32c9bed955bc75fed9
Merge: 7b31cbd5635f7307ff65503533fe054dd30f0d71 b0ab6957f3ec2e6b1d92c3f3acebeca2389bc8ee
Author: Stephane Glondu <steph at glondu.net>
Date:   Mon Jun 17 11:25:11 2013 +0200

    Merge tag 'upstream/1.1.5'
    
    Upstream version 1.1.5


-- 
obus packaging