[Pkg-ocaml-maint-commits] [SCM] alt-ergo packaging branch, experimental/master, updated. debian/0.94-2-30-gcba5d6b

[Ralf Treinen]

The following commit has been merged in the experimental/master branch:
commit cba5d6b9ef8f0fa5d580d1d4048e68c3ba201710
Author: Ralf Treinen <treinen at pps.univ-paris-diderot.fr>
Date:   Tue Apr 9 15:32:36 2013 +0200

    patch 0004 forwarded to upstream

diff --git a/debian/patches/0004-Add-rules-and-targets-for-gui.byte.patch b/debian/patches/0004-Add-rules-and-targets-for-gui.byte.patch
index 2bcc1d0..6666e44 100644
--- a/debian/patches/0004-Add-rules-and-targets-for-gui.byte.patch
+++ b/debian/patches/0004-Add-rules-and-targets-for-gui.byte.patch
@@ -1,7 +1,7 @@
 From: Mehdi Dogguy <mehdi at debian.org>
 Date: Sat, 16 Apr 2011 00:46:35 +0200
 Subject: Add rules and targets for gui.byte
-
+Forwarded: https://gforge.inria.fr/tracker/index.php?func=detail&aid=15593&group_id=2340&atid=8106
 
 Index: alt-ergo/Makefile.in
 ===================================================================

-- 
alt-ergo packaging