The following commit has been merged in the master branch:
commit f196a75bbc75c827eb8698dffe100ee3e4e3443c
Author: Stephane Glondu <st...@glondu.net>
Date:   Wed Jul 24 15:30:40 2013 +0200

    Refresh patches

diff --git a/debian/patches/0001-Remove-some-invalid-characters.patch 
b/debian/patches/0001-Remove-some-invalid-characters.patch
index b24dcbd..88810f9 100644
--- a/debian/patches/0001-Remove-some-invalid-characters.patch
+++ b/debian/patches/0001-Remove-some-invalid-characters.patch
@@ -1,10 +1,10 @@
 From: Samuel Mimram <smim...@debian.org>
 Date: Wed, 23 Sep 2009 18:55:38 +0200
-Subject: [PATCH] Remove some invalid characters
+Subject: Remove some invalid characters
 
 ---
  menhir.1 |    2 +-
- 1 files changed, 1 insertions(+), 1 deletions(-)
+ 1 file changed, 1 insertion(+), 1 deletion(-)
 
 diff --git a/menhir.1 b/menhir.1
 index e241b91..ac2940c 100644

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