[Pkg-ocaml-maint-commits] [ocaml-reins] 01/07: Refresh patches
Stéphane Glondu
glondu at moszumanska.debian.org
Thu Jan 30 14:01:38 UTC 2014
This is an automated email from the git hooks/post-receive script.
glondu pushed a commit to branch master
in repository ocaml-reins.
commit 64e16e003398941165efaee3bc416eee27fe7388
Author: Stephane Glondu <steph at glondu.net>
Date: Thu Jan 30 14:40:52 2014 +0100
Refresh patches
---
debian/patches/0001-Fix-PREFIX-handling.patch | 6 +++---
debian/patches/0002-Install-cmi.patch | 6 +++---
2 files changed, 6 insertions(+), 6 deletions(-)
diff --git a/debian/patches/0001-Fix-PREFIX-handling.patch b/debian/patches/0001-Fix-PREFIX-handling.patch
index c55fa27..29e766c 100644
--- a/debian/patches/0001-Fix-PREFIX-handling.patch
+++ b/debian/patches/0001-Fix-PREFIX-handling.patch
@@ -1,10 +1,10 @@
From: Mike Furr <mfurr at debian.org>
Date: Sat, 4 Jul 2009 14:48:29 +0200
-Subject: [PATCH] Fix PREFIX handling
+Subject: Fix PREFIX handling
---
- config.omake | 7 ++++++-
- 1 files changed, 6 insertions(+), 1 deletions(-)
+ config.omake | 7 ++++++-
+ 1 file changed, 6 insertions(+), 1 deletion(-)
diff --git a/config.omake b/config.omake
index 4417254..7a35fc2 100644
diff --git a/debian/patches/0002-Install-cmi.patch b/debian/patches/0002-Install-cmi.patch
index 7efb7f6..4d4ce30 100644
--- a/debian/patches/0002-Install-cmi.patch
+++ b/debian/patches/0002-Install-cmi.patch
@@ -1,10 +1,10 @@
From: Mike Furr <mfurr at debian.org>
Date: Sat, 4 Jul 2009 14:48:41 +0200
-Subject: [PATCH] Install cmi
+Subject: Install cmi
---
- src/OMakefile | 2 +-
- 1 files changed, 1 insertions(+), 1 deletions(-)
+ src/OMakefile | 2 +-
+ 1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/src/OMakefile b/src/OMakefile
index 983799d..e85608c 100644
--
Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/pkg-ocaml-maint/packages/ocaml-reins.git
More information about the Pkg-ocaml-maint-commits
mailing list