# HG changeset patch
# User Guido Berhoerster <guido+feed-preview@berhoerster.name>
# Date 1544608597 -3600
# Node ID a59d322e5826fd89ec274a57662ee4e97e7ba67b
# Parent  150f07c7595f4ba614c841681091fe9d8625da2d
Support feeds served as text/xml

diff -r 150f07c7595f -r a59d322e5826 js/background.js
--- a/js/background.js	Mon Dec 10 23:24:36 2018 +0100
+++ b/js/background.js	Wed Dec 12 10:56:37 2018 +0100
@@ -132,6 +132,7 @@
         case 'application/rss+xml':
         case 'application/rdf+xml':
         case 'application/xml':
+        case 'text/xml':
             break;
         default:
             // non-XML media type