The following commit has been merged in the experimental/master branch:
commit cba5d6b9ef8f0fa5d580d1d4048e68c3ba201710
Author: Ralf Treinen <trei...@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 <me...@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

_______________________________________________
Pkg-ocaml-maint-commits mailing list
Pkg-ocaml-maint-commits@lists.alioth.debian.org
http://lists.alioth.debian.org/cgi-bin/mailman/listinfo/pkg-ocaml-maint-commits

Reply via email to