[Pkg-ocaml-maint-commits] [SCM] coinst packaging branch, master, updated. upstream/1.0-22-gdb01640

[Ralf Treinen]

The following commit has been merged in the master branch:
commit 7189b8e86ca49a21c82236ca4a6b8ef9afb40d97
Author: Ralf Treinen <treinen at free.fr>
Date:   Sun Jan 1 17:49:01 2012 +0100

    install CHANGES into docs

diff --git a/debian/coinst.docs b/debian/coinst.docs
new file mode 100644
index 0000000..da278be
--- /dev/null
+++ b/debian/coinst.docs
@@ -0,0 +1 @@
+CHANGES

-- 
coinst packaging