[sr #110725] New Account Activation Email Not Received

2022-09-19 Thread Bob Proulx
Update of sr #110725 (project administration): Status:None => Done Assigned to:None => rwp Open/Closed:Open => Closed ___

[sr #110723] Broken git remote HEAD

2022-09-19 Thread Bob Proulx
Follow-up Comment #3, sr #110723 (project administration): > I prefer looking for solutions myself, before bothering anyone with support tickets. I only ask for help when I believe it's necessary. Me too. And I understand. But we are nice people and are happy to smooth over the rough parts. I

Re: Please make a repo for the GNU C Manual

2022-09-19 Thread Ian Kelling
Richard Stallman writes: > [[[ To any NSA and FBI agents reading my email: please consider]]] > [[[ whether defending the US Constitution against all enemies, ]]] > [[[ foreign or domestic, requires you to follow Snowden's example. ]]] > > Does the manual format properly in TeX? The pdf

[sr #110725] New Account Activation Email Not Received

2022-09-19 Thread Alfred M. Szmidt
Follow-up Comment #1, sr #110725 (project administration): FWIW, You do not need a Savannah account to send a email to grub-devel@ -- they are to separate things. As for the delay in your account submission, one of the Savannah admins will need to look at that. _

[sr #110725] New Account Activation Email Not Received

2022-09-19 Thread anonymous
URL: Summary: New Account Activation Email Not Received Project: Savannah Administration Submitter: None Submitted: Mon 19 Sep 2022 09:33:39 AM UTC Category: Lost account