1. 2022-11-11 Re: [ jEdit-devel ] CentOS 7 update leads to jEdit ha jedit-dev Alan Ezust 2. 2022-09-30 Re: [ jEdit-devel ] CentOS 7 update leads to jEdit ha jedit-dev J Leslie Turriff 3. 2022-09-29 Re: [ jEdit-devel ] CentOS 7 update leads to jEdit ha jedit-dev orbitalair 4. 2022-09-26 Re: [ jEdit-devel ] CentOS 7 update leads to jEdit ha jedit-dev Dale Anson 5. 2022-09-26 Re: [ jEdit-devel ] CentOS 7 update leads to jEdit ha jedit-dev Michael H 6. 2022-09-26 Re: [ jEdit-devel ] CentOS 7 update leads to jEdit ha jedit-dev Allan Kamau 7. 2022-09-25 Re: [ jEdit-devel ] CentOS 7 update leads to jEdit ha jedit-dev orbitalair 8. 2022-09-25 [ jEdit-devel ] CentOS 7 update leads to jEdit hangin jedit-dev Allan Kamau