Drop debian/patches/gitlog-to-changelog-workaround, should no longer

be needed.
2019-08-14 10:58:17 -07:00 · 2019-08-14 10:58:17 -07:00 · 9bbc3b3415
parent 82ba64de27
commit 9bbc3b3415
2 changed files with 0 additions and 14 deletions
--- a/debian/patches/gitlog-to-changelog-workaround
+++ b/debian/patches/gitlog-to-changelog-workaround
@ -1,13 +0,0 @@
-Index: mes/build-aux/install.sh.in
-===================================================================
--- mes.orig/build-aux/install.sh.in
-+++ mes/build-aux/install.sh.in
-@@ -57,7 +57,7 @@ if test -n "${PERL}"\
-        && test -n "${GIT}"\
-        && ${PERL} -v > /dev/null\
-        && ${GIT} status > /dev/null; then
-    ${PERL} ${srcdest}build-aux/gitlog-to-changelog --srcdir=. > ChangeLog+
-+    touch ChangeLog+
- fi
- 
- cp\
--- a/debian/patches/series
+++ b/debian/patches/series
@ -1 +0,0 @@
-gitlog-to-changelog-workaround