On Fri, Jan 17, 2020 at 11:33:23AM +0100, Pilisi Gergely wrote: > I'll contact upstream first, they should know about this. Will be back soon > with the solution.
Thanks. Just a note on the urgency: it isn't at all. The official buildds seems able to resolve their hostname, but I'm saying it not agreed upon because just a few days ago there was a conversation in #debian-mentors exactly about this. Also, I'm probably going to patch my builders so it puts the hostname in /etc/hosts, so it will at least work, regardless of what is the project consensus. -- regards, Mattia Rizzolo GPG Key: 66AE 2B4A FCCF 3F52 DA18 4D18 4B04 3FCD B944 4540 .''`. More about me: https://mapreri.org : :' : Launchpad user: https://launchpad.net/~mapreri `. `'` Debian QA page: https://qa.debian.org/developer.php?login=mattia `-
signature.asc
Description: PGP signature