Re: [ jEdit-devel ] Releasing jEdit 5.6

[Makarius <mak...@sk...>]

On 06/06/2020 17:22, Alan Ezust wrote:
> If there is anything further you as a developer want to do to jEdit before its
> release, please reply to this thread. As far as I'm concerned, it's ready.

This bug tracker item is important: #4088 Odd notion of MiscUtilities.isBackup()


	Makarius