The following commit has been merged in the master branch:
commit 8ea1fe3d6a4137c15724c479ae2df2e9ca676bf4
Author: Stephane Glondu <st...@glondu.net>
Date:   Sun Dec 25 17:17:35 2011 +0100

    Refresh patch

diff --git a/debian/patches/0001-Fix-tests-Make.patch 
b/debian/patches/0001-Fix-tests-Make.patch
index fb4b59f..08c202f 100644
--- a/debian/patches/0001-Fix-tests-Make.patch
+++ b/debian/patches/0001-Fix-tests-Make.patch
@@ -1,6 +1,6 @@
 From: Stephane Glondu <st...@glondu.net>
 Date: Tue, 15 Mar 2011 08:40:53 +0100
-Subject: [PATCH] Fix tests' Make
+Subject: Fix tests' Make
 
 Signed-off-by: Stephane Glondu <st...@glondu.net>
 ---
@@ -8,7 +8,7 @@ Signed-off-by: Stephane Glondu <st...@glondu.net>
  1 files changed, 0 insertions(+), 2 deletions(-)
 
 diff --git a/test/Make b/test/Make
-index 502c334..32acd31 100644
+index 043d05c..8319f1d 100644
 --- a/test/Make
 +++ b/test/Make
 @@ -1,5 +1,3 @@

-- 
ssreflect 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