Re: [ jEdit-devel ] Suggested release date for 4.3pre7: October 1

[Alan E. <ala...@gm...>]

> This is checked in and seems to work. - BTW, how can we get e-mail
> notification of SVN checkins?

the jedit-cvs mailing list also includes commits to the svn repository.