On 12/23/2014 at 07:46 PM, Paul Wise wrote: > https://bugs.debian.org/772560 > --- > src/chrome/content/rules/Debian.xml | 2 +- > 1 file changed, 1 insertion(+), 1 deletion(-) > > diff --git a/src/chrome/content/rules/Debian.xml > b/src/chrome/content/rules/Debian.xml > index 6bc10b1..b7b844d 100644 > --- a/src/chrome/content/rules/Debian.xml > +++ b/src/chrome/content/rules/Debian.xml > @@ -98,7 +98,7 @@ > <rule from="^http://security\.debian\.org/+(?=$|\?)" > to="https://www.debian.org/security/"; /> > > - <rule from="^http://(france|paste|screenshots)\.debian\.net/" > + <rule from="^http://(france|paste|screenshots|source)\.debian\.net/"
The Subject says "sources", but this (and the subsequent codesearch patch) say "source". On my end, a quick DNS lookup gets a result for 'sources.debian.net', but 'source.debian.net' returns NXDOMAIN. Is there some subtlety I'm missing, or do these patches need to be corrected? -- The Wanderer The reasonable man adapts himself to the world; the unreasonable one persists in trying to adapt the world to himself. Therefore all progress depends on the unreasonable man. -- George Bernard Shaw
signature.asc
Description: OpenPGP digital signature
