[Pkg-ocaml-maint-commits] [SCM] matita packaging branch, master, updated. debian/0.5.8-2-9-g932c23c

[Stephane Glondu]

The following commit has been merged in the master branch:
commit 4f28351c6a6d8855183fbd4e3dc654e7d70fb656
Author: Stephane Glondu <steph at glondu.net>
Date:   Tue May 31 11:14:19 2011 +0200

    Add reference to bug report in patch

diff --git a/debian/patches/slist-sep.patch b/debian/patches/slist-sep.patch
index cc64226..7d85178 100644
--- a/debian/patches/slist-sep.patch
+++ b/debian/patches/slist-sep.patch
@@ -3,6 +3,8 @@ Date: Tue, 31 May 2011 11:11:01 +0200
 Subject: slist-sep
 
 Port to current OCaml/CamlP5.  r11210 from upstream SVN.
+
+Bug-Debian: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=612891
 ---
  components/content_pres/cicNotationParser.ml |    4 ++--
  components/grafite_parser/print_grammar.ml   |    6 +++---

-- 
matita packaging