On 2017-03-11 00:22, Holger Levsen wrote: > though now I wonder, shouldnt we replace httpredir.d.o everywhere with deb.d.o?!? do we have a new alias, again? Andreas