[ jEdit-devel ] Navigator plugin release request

[Kazutoshi S. <k_s...@f2...>]

Hi Dale,

Could you please make a new release of Navigator plugin?

I want it to be released before jEdit 4.3pre16 so that buffer leaks
don't happen with the release, as noted in CHANGES.txt.
-- 
k_satoda