I think we should.
Although I agree this issue should have a highish priority, it is
non-trivial to fix.
The overriding criteria in whether to release or not to release must
be whether the new release is an improvement over the previous one.
This issue was extant in 1.2.0 so, although not ideal, we can live with
it in 1.4.0
However we should put this on priority.
J'
On Sun, Jul 26, 2020 at 03:00:43PM +0200, Friedrich Beckmann wrote:
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'
>
