diff options
-rw-r--r-- | embed/ephy-uri-tester.c | 7 |
1 files changed, 1 insertions, 6 deletions
diff --git a/embed/ephy-uri-tester.c b/embed/ephy-uri-tester.c index 9e1c01b66..687749689 100644 --- a/embed/ephy-uri-tester.c +++ b/embed/ephy-uri-tester.c @@ -37,15 +37,10 @@ #include <gio/gio.h> #include <glib/gstdio.h> +#include <httpseverywhere.h> #include <libsoup/soup.h> #include <string.h> -/* https://bugzilla.gnome.org/show_bug.cgi?id=772661 */ -#pragma GCC diagnostic push -#pragma GCC diagnostic ignored "-Wredundant-decls" -#include <httpseverywhere.h> -#pragma GCC diagnostic pop - #define DEFAULT_FILTER_URL "https://easylist-downloads.adblockplus.org/easylist.txt" #define FILTERS_LIST_FILENAME "filters.list" #define SIGNATURE_SIZE 8 |