Wabi patch already merged in new upstream version

diff --git a/debian/patches/disable-broken-Wabi.patch b/debian/patches/disable-broken-Wabi.patch
deleted file mode 100644 (file)
index 6f8b395..0000000
--- a/debian/patches/disable-broken-Wabi.patch
+++ /dev/null
@@ -1,12 +0,0 @@
-diff --git a/m4/manywarnings.m4 b/m4/manywarnings.m4
-index dda3d46..71c2e1c 100644
---- a/m4/manywarnings.m4
-+++ b/m4/manywarnings.m4
-@@ -114,7 +114,6 @@ m4_defun([gl_MANYWARN_ALL_GCC(C)],
-   gl_manywarn_set=
-   for gl_manywarn_item in -fno-common \
-     -W \
--    -Wabi \
-     -Waddress \
-     -Waggressive-loop-optimizations \
-     -Wall \

diff --git a/debian/patches/series b/debian/patches/series
index 3686a4d08e6338e040b7171fc7e06fd68ef8e0fd..c4d429813ca1b9769bbea4dfb5d6aeb17df5bf52 100644 (file)
--- a/debian/patches/series
+++ b/debian/patches/series
@@ -1,5 +1,4 @@
 sigpipe.diff
 gzip_reproducible_build.diff
 zgrep-syntax-error.diff
-disable-broken-Wabi.patch
 disable-Werror.patch