[Pkg-ocaml-maint-commits] [SCM] menhir packaging branch, master, updated. debian/20120123.dfsg-1-11-g7f5a90a

[Stephane Glondu]

The following commit has been merged in the master branch:
commit f196a75bbc75c827eb8698dffe100ee3e4e3443c
Author: Stephane Glondu <steph at 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 <smimram at 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