1. 2018-07-25 [ jEdit-devel ] [jedit:bugs] #4070 Bug in backup fold jedit-dev jerome c. via jEdi 2. 2018-07-25 [ jEdit-devel ] [jedit:bugs] #4070 Bug in backup fold jedit-dev jerome c. via jEdi