#838151 jedit: running jedit logs me out.

Package:
jedit
Source:
jedit
Submitter:
tim
Date:
2016-09-18 01:27:07 UTC
Severity:
normal