Jim Meyering Sun, 11 Jul 2021 20:40:54 -0700
Karl and I have just pushed a few changes (thanks, Karl and Allison!). With those, I think we're ready for a release. I will make the usual pre-release snapshot, probably tomorrow.