Re: Please give back acl2 on armhf
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-admin@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 <pkern@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 camm@maguirefamily.org
==========================================================================
"The earth is but one country, and mankind its citizens." -- Baha'u'llah
Reply to: