Re: git: c068632981eb - main - Add ggated rc script

From: Eugene Grosbein <eugen_at_grosbein.net>
Date: Mon, 28 Feb 2022 16:58:11 UTC
28.02.2022 23:41, Alan Somers wrote:

> You're right, I don't think it's necessary.  Do you want me to remove it?

Yes, please. We do not want to confuse users.