Greetings, and thanks for your reply! When I do, I am asked for salsa login credentials. Apparently my automatically created account was disabled due to non-use a year ago. I've requested activation on #salsa and salsa-ad...@debian.org to no effect. Just tried registering fresh with a new username and email address, and am awaiting administrator confirmation. Am I overlooking anything?
Take care, Philipp Kern <pk...@debian.org> writes: > Hi, > > On 03.10.21 15:20, Camm Maguire wrote: >> Greetings! I need another log to triangulate a rare unreproducible >> build failure. > > Have you tried the link on > https://buildd.debian.org/status/package.php?p=acl2 already? > > Kind regards > Philipp Kern > > > -- Camm Maguire c...@maguirefamily.org ========================================================================== "The earth is but one country, and mankind its citizens." -- Baha'u'llah
