Wabi patch already merged in new upstream version

[debian/gzip] / debian / patches / disable-broken-Wabi.patch

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 \