[Pkg-ocaml-maint-commits] [SCM] uuidm packaging branch, master, updated. debian/0.9.3-3-15-ge73757c

[Stephane Glondu]

The following commit has been merged in the master branch:
commit 94e5f42c3c54799f4b26086750975ba3ec51f21d
Author: Stephane Glondu <steph at glondu.net>
Date:   Sun Apr 8 17:08:15 2012 +0200

    Remove empty patch list

diff --git a/debian/patches/00list b/debian/patches/00list
deleted file mode 100644
index e69de29..0000000

-- 
uuidm packaging