Aug. 15, 2022
9:29 p.m.
Thanks! Debbie
On Aug 15, 2022, at 1:07 PM, Paul Eggert <eggert@CS.UCLA.EDU> wrote:
On 8/15/22 10:43, Deborah Goldsmith wrote:
Is there still a plan for a release with a fix in it?
Yes, I plan to make a new release shortly, with only minor editorial changes from what's on GitHub now.