Re: [ jEdit-devel ] retain selection after undo/redo #1570553

[Jarek C. <jar...@po...>]

W dniu 2012-06-22 07:20, Jarek Czekalski pisze:
> Because you're neither admin nor submitter. I just attached it.
I added Thomas as project member (without repository access) and Patches 
tracker tech&admin.

Jarek