ocamlopt/arm patch forwarded upstream

diff --git a/debian/patches/0013-ocamlopt-arm-add-.type-directive-for-code-symbols.patch b/debian/patches/0013-ocamlopt-arm-add-.type-directive-for-code-symbols.patch
index fca359a1ea0684b2f532e69f9ecd7191602fa8d7..a4c0491ea84a1f133c9333df234383c01f646163 100644 (file)
--- a/debian/patches/0013-ocamlopt-arm-add-.type-directive-for-code-symbols.patch
+++ b/debian/patches/0013-ocamlopt-arm-add-.type-directive-for-code-symbols.patch
@@ -2,6 +2,7 @@ From: Stephane Glondu <steph@glondu.net>
 Date: Fri, 12 Aug 2011 21:13:17 +0200
 Subject: ocamlopt/arm: add .type directive for code symbols
 
+Bug: http://caml.inria.fr/mantis/view.php?id=5336
 Bug-Ubuntu: https://bugs.launchpad.net/bugs/810402
 Signed-off-by: Stephane Glondu <steph@glondu.net>
 ---