Hello Christoph, On Wed, 24 Feb 2021 at 11:06, Christoph Berg <myon@debian.org> wrote: > Maybe the service should move to debuginfod.debian.*org* if it's going > to be a default. (Which I would like to see.) Yes, that is part of the plan, but it'll take some more time. Regards -- Héctor Orón -.. . -... .. .- -. -.. . ...- . .-.. --- .--. . .-.