So we leave https://savannah.gnu.org/bugs/?57272
open for the release? Fritz > Am 25.07.2020 um 09:55 schrieb John Darrington <j...@darrington.wattle.id.au>: > > On Tue, Jun 23, 2020 at 11:49:14AM -0700, Ben Pfaff wrote: > > It would be nice to hear from you when you think that the stability > is high enough again, so that we can do a release then. > > It's been a week or so since any new issues have been reported. > > Is the time right? > > J' >