From 9bbc3b34151d355cf7f222013ca85de23a1be1d1 Mon Sep 17 00:00:00 2001
From: Vagrant Cascadian <vagrant@debian.org>
Date: Wed, 14 Aug 2019 10:58:17 -0700
Subject: [PATCH] Drop debian/patches/gitlog-to-changelog-workaround, should no
 longer be needed.

---
 debian/patches/gitlog-to-changelog-workaround | 13 -------------
 debian/patches/series                         |  1 -
 2 files changed, 14 deletions(-)
 delete mode 100644 debian/patches/gitlog-to-changelog-workaround
 delete mode 100644 debian/patches/series

diff --git a/debian/patches/gitlog-to-changelog-workaround b/debian/patches/gitlog-to-changelog-workaround
deleted file mode 100644
index 9f82e85c..00000000
--- a/debian/patches/gitlog-to-changelog-workaround
+++ /dev/null
@@ -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\
diff --git a/debian/patches/series b/debian/patches/series
deleted file mode 100644
index 827a282f..00000000
--- a/debian/patches/series
+++ /dev/null
@@ -1 +0,0 @@
-gitlog-to-changelog-workaround