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
