|
From: Makarius <mak...@sk...> - 2020-06-09 15:58:23
|
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 |