From 1295e25961520d5dafab40abc16e8153d76ea06a Mon Sep 17 00:00:00 2001
From: Raymond Hill <rhill@raymondhill.net>
Date: Fri, 3 Apr 2020 09:07:22 -0400
Subject: [PATCH] Remove unused property

---
 src/js/background.js | 1 -
 1 file changed, 1 deletion(-)

diff --git a/src/js/background.js b/src/js/background.js
index 61e984c59..87143a7ff 100644
--- a/src/js/background.js
+++ b/src/js/background.js
@@ -106,7 +106,6 @@ const µBlock = (( ) => { // jshint ignore:line
         cloudStorageSupported: vAPI.cloud instanceof Object,
         canFilterResponseData: typeof browser.webRequest.filterResponseData === 'function',
         canInjectScriptletsNow: vAPI.webextFlavor.soup.has('chromium'),
-        proxyDNS: undefined,
 
         // https://github.com/chrisaljoudi/uBlock/issues/180
         // Whitelist directives need to be loaded once the PSL is available