Tue, 30 May 2023 11:15:31 +0300 Michael Tokarev <[email protected]>: > I'm for creating new v8.0.1 tag for the new commit. But I'd like to > hear opinions of others on this matter, since this is an important > process which definitely should be public.
The man page of git-tag is very clear on this topic IMO. Go for v8.0.2. Olaf
pgpMraWVViPBA.pgp
Description: Digitale Signatur von OpenPGP
