1. 2018-05-31 [3] [ jEdit-devel ] [jedit:plugin-bugs] #1903 GitPlugin N jedit-dev Alan Ezust vi 2. 2018-05-29 [1] [ jEdit-devel ] Plugin Releases for June. jedit-dev Eric Berry 3. 2018-05-29 [1] [ jEdit-devel ] [jedit:feature-requests] #545 HL7 edi jedit-dev Thiemo Kellne 4. 2018-05-18 [1] [ jEdit-devel ] [jedit:plugin-central-submission] #10 jedit-dev Townsfolk via 5. 2018-05-09 [20] [ jEdit-devel ] [jedit:plugin-feature-requests] #389 jedit-dev jongriffith v 6. 2018-05-08 [1] [ jEdit-devel ] [jedit:bugs] #4068 NoSuchMethodExcept jedit-dev Kohei Nozaki 7. 2018-05-07 [1] Re: [ jEdit-devel ] Plugin Releases for May jedit-dev Eric Berry