On Thu, 3 Aug 2023, Hal Murray via devel wrote: > Should that also go to users@ and devel@? > > What fraction of people on users or devel are also on announce? And for that matter, what exactly is 1.2.2a, given that there's no git tag for that version? Fred Wright