From e0f9d9dfe1a338d359b4b8258d7d667095bf29cb Mon Sep 17 00:00:00 2001 From: I-have-50-open-PRs-to-HTTPS-EVERYWHERE <30478887+I-have-50-open-PRs-to-HTTPS-EVERYWHERE@users.noreply.github.com> Date: Wed, 20 Sep 2017 10:24:27 +0000 Subject: [PATCH] Fixing MIT.xml https://github.com/EFForg/https-everywhere/issues/12640 --- src/chrome/content/rules/MIT.xml | 17 ++++------------- 1 file changed, 4 insertions(+), 13 deletions(-) diff --git a/src/chrome/content/rules/MIT.xml b/src/chrome/content/rules/MIT.xml index 5b6a39bfaabf..10ff6b2ffa94 100644 --- a/src/chrome/content/rules/MIT.xml +++ b/src/chrome/content/rules/MIT.xml @@ -1,11 +1,4 @@ - @@ -380,7 +373,6 @@ Fetch error: http://webpub.mit.edu/ => https://webpub.mit.edu/: (6, 'Could not r - @@ -394,7 +386,6 @@ Fetch error: http://webpub.mit.edu/ => https://webpub.mit.edu/: (6, 'Could not r -