Add references to upstream bug reports in patches

diff --git a/debian/patches/0007-Natdynlink-works-on-powerpc-and-hurd-i386.patch b/debian/patches/0007-Natdynlink-works-on-powerpc-and-hurd-i386.patch
index 301b04bce5e190156d0f79a403baee87372884f2..739217df7f6f8890e904e949ddcf1c980f1dac8c 100644 (file)
--- a/debian/patches/0007-Natdynlink-works-on-powerpc-and-hurd-i386.patch
+++ b/debian/patches/0007-Natdynlink-works-on-powerpc-and-hurd-i386.patch
@@ -8,6 +8,7 @@ with ocaml 3.11.2 / coq 8.2...
 Note: there is no native compiler for powerpc64! This must be a
 typo...
 
+Bug: http://caml.inria.fr/mantis/view.php?id=5255
 Signed-off-by: Stephane Glondu <steph@glondu.net>
 ---
  configure |    3 ++-

diff --git a/debian/patches/0008-Declare-primitive-name-table-as-const-char.patch b/debian/patches/0008-Declare-primitive-name-table-as-const-char.patch
index aaf1aa3ce3a1269331ac56767579bab93dce8399..c9a8ede7ad09055987edb5e20bdf0fed0b3a6b96 100644 (file)
--- a/debian/patches/0008-Declare-primitive-name-table-as-const-char.patch
+++ b/debian/patches/0008-Declare-primitive-name-table-as-const-char.patch
@@ -4,6 +4,7 @@ Subject: Declare primitive name table as const char *
 
 This avoids lots of warnings when compiling with g++...
 
+Bug: http://caml.inria.fr/mantis/view.php?id=5131
 Signed-off-by: Stephane Glondu <steph@glondu.net>
 ---
  bytecomp/symtable.ml |    2 +-

diff --git a/debian/patches/0009-Avoid-multiple-declarations-in-generated-.c-files-in.patch b/debian/patches/0009-Avoid-multiple-declarations-in-generated-.c-files-in.patch
index 8e2f73b5db43c365cbbcfbc01a99a08fa159eda2..115c422dede5efb4e114d77ecf8266913f918326 100644 (file)
--- a/debian/patches/0009-Avoid-multiple-declarations-in-generated-.c-files-in.patch
+++ b/debian/patches/0009-Avoid-multiple-declarations-in-generated-.c-files-in.patch
@@ -10,6 +10,7 @@ There are probably better implementations (in particular, in this one,
 care must be taken when changing the list of primitives available in
 mlvalues.h), but this is a small and (not too) intrusive patch.
 
+Bug: http://caml.inria.fr/mantis/view.php?id=5254
 Signed-off-by: Stephane Glondu <steph@glondu.net>
 ---
  bytecomp/bytelink.ml  |   17 +++++++++++++++--

diff --git a/debian/patches/0010-Properly-initialize-executable-name-in-caml_startup_.patch b/debian/patches/0010-Properly-initialize-executable-name-in-caml_startup_.patch
index f44e1e2585919ad618838f931a9a2a74413603ca..fdfc3db3b3f25e4bc8be89726620f1e0e726cf03 100644 (file)
--- a/debian/patches/0010-Properly-initialize-executable-name-in-caml_startup_.patch
+++ b/debian/patches/0010-Properly-initialize-executable-name-in-caml_startup_.patch
@@ -2,6 +2,7 @@ From: Stephane Glondu <steph@glondu.net>
 Date: Tue, 24 May 2011 12:16:20 +0200
 Subject: Properly initialize executable name in caml_startup_code
 
+Bug: http://caml.inria.fr/mantis/view.php?id=5279
 Bug-Debian: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=627756
 Signed-off-by: Stephane Glondu <steph@glondu.net>
 ---