[Pkg-ocaml-maint-commits] [SCM] coinst packaging branch, master, updated. debian/1.01-1-7-gcfe1a56

[Ralf Treinen]

The following commit has been merged in the master branch:
commit 70547b31dc56e27c3ae6b21eb4318d80de6281f2
Author: Ralf Treinen <treinen at free.fr>
Date:   Sat Jan 21 22:14:29 2012 +0100

    activite bytecode viewer partch

diff --git a/debian/patches/series b/debian/patches/series
index 8d1f96d..4182f16 100644
--- a/debian/patches/series
+++ b/debian/patches/series
@@ -1 +1,2 @@
 make_clean
+make_viewer_byte

-- 
coinst packaging