1. 2016-08-16 [ jEdit-devel ] [jedit:bugs] #4012 Editing markdown f jedit-dev Eric Le Lay 2. 2016-08-16 [ jEdit-devel ] [jedit:bugs] #4012 Editing markdown f jedit-dev Edward Diener 3. 2016-08-16 [ jEdit-devel ] [jedit:bugs] #4012 Editing markdown f jedit-dev Edward Diener 4. 2016-08-16 [ jEdit-devel ] [jedit:bugs] #4012 Editing markdown f jedit-dev Eric Le Lay 5. 2016-08-15 [ jEdit-devel ] [jedit:bugs] #4012 Editing markdown f jedit-dev Edward Diener 6. 2016-08-15 [ jEdit-devel ] [jedit:bugs] #4012 Editing markdown f jedit-dev Edward Diener