On Fri, Oct 18, 2019 at 10:35:50PM +0200, Ansgar wrote: > diff --git a/templates/en_US/html/pre_title.tx > b/templates/en_US/html/pre_title.tx > index 22cdfda..98c36d6 100644 > --- a/templates/en_US/html/pre_title.tx > +++ b/templates/en_US/html/pre_title.tx > @@ -1,4 +1,4 @@ > <!DOCTYPE html> > <html><head> > -<link rel="icon" href="//favicon.png"> > +<link rel="icon" href="/favicon.png">
It seems this patch was applied, but /favicon.png ends in a redirect to https://bugs.debian.org/cgi-bin/pkgreport.cgi?pkg=favicon.png;dist=unstable So I guess favicon.png is a very popular package now? :-) Chris