[Pkg-ocaml-maint-commits] [SCM] apron packaging branch, master, updated. debian/0.9.10-4-6-g32898f5

[Stephane Glondu]

The following commit has been merged in the master branch:
commit 17e02d485086516b67d95a35102743bb9e14d75b
Author: Stephane Glondu <steph at glondu.net>
Date:   Mon Jul 19 12:07:32 2010 +0200

    Add meta-data to rounding_modes.diff

diff --git a/debian/patches/rounding_modes.diff b/debian/patches/rounding_modes.diff
index 76d4798..a1ab9ff 100644
--- a/debian/patches/rounding_modes.diff
+++ b/debian/patches/rounding_modes.diff
@@ -3,6 +3,8 @@ From: Laurent Fousse <laurent at komite.net>
 Date: Mon, 19 Jul 2010 10:57:25 +0200
 Subject: [PATCH] Fix rounding mode check in assert.
 
+Bug-Debian: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=589359
+Signed-off-by: Stephane Glondu <steph at glondu.net>
 ---
  mlgmpidl/gmp_caml.h |    8 ++++++--
  1 files changed, 6 insertions(+), 2 deletions(-)

-- 
apron packaging