1. 2016-08-22 [ jEdit-devel ] [jedit:bugs] #4013 Several log refact jedit-dev Matthieu Casanova 2. 2016-08-18 [ jEdit-devel ] [jedit:bugs] #4013 Several log refact jedit-dev Nemo Chen