Re: Please give back acl2 on armhf

2021-10-11 Thread Camm Maguire
Thanks so much! Mattia Rizzolo writes: > Done! > > On Sun, Oct 10, 2021 at 4:37 PM Camm Maguire wrote: >> >> Greetings, and thank you so much for your reply! Most happy to wait on >> salsa-admin. In the meantime, I have committed a fix in gcl for this >> issue -- would you please mind

Re: Please give back acl2 on armhf

2021-10-10 Thread Mattia Rizzolo
Done! On Sun, Oct 10, 2021 at 4:37 PM Camm Maguire wrote: > > Greetings, and thank you so much for your reply! Most happy to wait on > salsa-admin. In the meantime, I have committed a fix in gcl for this > issue -- would you please mind hitting the giveback button for me again > once

Re: Please give back acl2 on armhf

2021-10-10 Thread Camm Maguire
Greetings, and thank you so much for your reply! Most happy to wait on salsa-admin. In the meantime, I have committed a fix in gcl for this issue -- would you please mind hitting the giveback button for me again once gcl-2.6.12-104 is installed? Take care, Mattia Rizzolo writes: > On Sun,

Re: Please give back acl2 on armhf

2021-10-04 Thread Camm Maguire
Mattia Rizzolo writes: > I see you asked in #salsa on IRC 3 days ago, and I have to suppose you > mailed them around the same time. Since you have been without salsa for > more than 3 years already perhaps you can give the salsa admins more > time to react? Of course -- most happy to wait. I

Re: Please give back acl2 on armhf

2021-10-04 Thread Mattia Rizzolo
On Sun, Oct 03, 2021 at 07:12:19PM -0400, Camm Maguire wrote: > Mattia Rizzolo writes: > > On Sun, Oct 03, 2021 at 01:49:04PM -0400, Camm Maguire wrote: > >> Greetings, and thanks for your reply! When I do, I am asked for salsa > >> login credentials. Apparently my automatically created account

Re: Please give back acl2 on armhf

2021-10-03 Thread Mattia Rizzolo
On Sun, Oct 03, 2021 at 01:49:04PM -0400, Camm Maguire wrote: > 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

Re: Please give back acl2 on armhf

2021-10-03 Thread Camm Maguire
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

Please give back acl2 on armhf

2021-10-03 Thread Camm Maguire
Greetings! I need another log to triangulate a rare unreproducible build failure. Take care, -- Camm Maguirec...@maguirefamily.org == "The earth is but one country, and mankind its