[Pkg-ocaml-maint-commits] [SCM] OCaml packaging branch, master, updated. debian/3.12.0-7-14-g233e404

[Stephane Glondu]

The following commit has been merged in the master branch:
commit 233e4045ccc2c056547016914c20fec520397862
Author: Stephane Glondu <steph at glondu.net>
Date:   Sun Aug 14 17:38:29 2011 +0200

    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 fca359a..a4c0491 100644
--- 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 at 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 at glondu.net>
 ---

-- 
OCaml packaging