1. 2018-11-26 [1] [ jEdit-devel ] new release jedit-dev Hrotkó Gábo 2. 2018-11-03 [1] [ jEdit-devel ] [jedit:plugin-feature-requests] #392 jedit-dev Alexander Kog