[Pkg-ocaml-maint-commits] [SCM] uuidm packaging branch, master, updated. debian/0.9.4-1-4-gb56e9c1

[Hendrik Tews]

The following commit has been merged in the master branch:
commit a6320c45386e4df15a4ac5018f62f53bdf0a5712
Merge: f1ea010db3d6e8822b37be26685db42d1b2f430a a76c7cc5e82645d2aac11d8d6d9c333d9831c435
Author: Hendrik Tews <hendrik at askra.de>
Date:   Mon May 27 09:32:23 2013 +0200

    Merge tag 'upstream/0.9.5'
    
    Upstream version 0.9.5


-- 
uuidm packaging