[Pkg-ocaml-maint-commits] [SCM] camlp5 packaging branch, experimental/master, updated. debian/5.14-1-26-gbfd32f3

[Stephane Glondu]

The following commit has been merged in the experimental/master branch:
commit 1115c06c99eb8fa6d292cbf7b746aea4ca965084
Author: Stephane Glondu <steph at glondu.net>
Date:   Mon Dec 6 11:40:53 2010 +0100

    Add 0001-Fix-regression-in-pretty-printing-of-labelled-argume.patch

diff --git a/debian/patches/0001-Fix-regression-in-pretty-printing-of-labelled-argume.patch b/debian/patches/0001-Fix-regression-in-pretty-printing-of-labelled-argume.patch
new file mode 100644
index 0000000..56a554d
--- /dev/null
+++ b/debian/patches/0001-Fix-regression-in-pretty-printing-of-labelled-argume.patch
@@ -0,0 +1,23 @@
+From: Stephane Glondu <steph at glondu.net>
+Date: Mon, 6 Dec 2010 11:39:34 +0100
+Subject: [PATCH] Fix regression in pretty-printing of labelled arguments
+
+Patch provided by Daniel de Rauglaudre, applied in upstream CVS.
+---
+ etc/pr_o.ml |    2 +-
+ 1 files changed, 1 insertions(+), 1 deletions(-)
+
+diff --git a/etc/pr_o.ml b/etc/pr_o.ml
+index ad8d6b9..747e64e 100644
+--- a/etc/pr_o.ml
++++ b/etc/pr_o.ml
+@@ -2080,7 +2080,7 @@ value poly_type pc =
+ value label_ipatt expr pc (p, oe) =
+   match Pcaml.unvala oe with
+   [ Some e -> pprintf pc "~%p:%p" patt p expr e
+-  | None -> patt pc p ]
++  | None -> pprintf pc "~%p" patt p ]
+ ;
+ 
+ EXTEND_PRINTER
+-- 
diff --git a/debian/patches/series b/debian/patches/series
new file mode 100644
index 0000000..3c739b7
--- /dev/null
+++ b/debian/patches/series
@@ -0,0 +1 @@
+0001-Fix-regression-in-pretty-printing-of-labelled-argume.patch

-- 
camlp5 packaging