[Pkg-ocaml-maint-commits] [SCM] jocaml packaging branch, master, updated. debian/3.11.0-3-12-g2c617ef

[Mehdi Dogguy]

The following commit has been merged in the master branch:
commit 5dd388edecb39ddfd8aeffec5e8d16c977433e19
Author: Mehdi Dogguy <dogguy at pps.jussieu.fr>
Date:   Tue Jun 23 17:55:49 2009 +0200

    Adding a README.Source

diff --git a/debian/README.source b/debian/README.source
new file mode 100644
index 0000000..32cb628
--- /dev/null
+++ b/debian/README.source
@@ -0,0 +1,7 @@
+jocaml (3.11.1+debian1-1)
+
+Sources have been modified so that JoCaml changes do not include CVS $Id$
+changes. This is needed to guarantee compatibility of some cmi files between
+OCaml and JoCaml.
+
+ -- Mehdi Dogguy <dogguy at pps.jussieu.fr>  Tue, 23 Jun 2009 17:51:44 +0200

-- 
jocaml packaging