1. 2019-08-28 [5] [ jEdit-devel ] [jedit:bugs] #4084 Launcher doesn't f jedit-dev Heklaz via jE 2. 2019-08-23 [1] [ jEdit-devel ] [jedit:bugs] Re: #4084 Launcher doesn jedit-dev ErroneousBee 3. 2019-08-23 [1] Re: [ jEdit-devel ] Changing L&F in OpenJDK 11 jedit-dev Björn_Kautle 4. 2019-08-23 [2] [ jEdit-devel ] [jedit:bugs] #4079 jEdit.exe doens't jedit-dev Björn Kautle 5. 2019-08-22 [1] [ jEdit-devel ] [jedit:bugs] #4072 Java 10 support in jedit-dev Björn Kautle 6. 2019-08-21 [2] [ jEdit-devel ] [jedit:patches] #624 Patch for MacOSX jedit-dev Heklaz via jE 7. 2019-08-21 [3] [ jEdit-devel ] My departure from the project. jedit-dev Alan Ezust 8. 2019-08-21 [1] [ jEdit-devel ] Plugin Releases for Sept. 2019 jedit-dev Eric Berry 9. 2019-08-18 [2] [ jEdit-devel ] [jedit:plugin-central-submission] #10 jedit-dev Dale Anson vi 10. 2019-08-18 [2] [ jEdit-devel ] [jedit:bugs] #4082 Windows 10: NPE in jedit-dev Björn Kautle 11. 2019-08-15 [1] [ jEdit-devel ] [jedit:jeditlauncher-bugs] #49 Launch jedit-dev Ben Golding v 12. 2019-08-13 [1] [ jEdit-devel ] [jedit:bugs] #4077 Launcher for macOS jedit-dev Björn Kautle 13. 2019-08-12 [10] Re: [ jEdit-devel ] Java 11 for next release? jedit-dev Eric Berry