Re: [ jEdit-users ] jEdit 4.2final now available

[Slava P. <sl...@je...>]

This was a last-minute screwup. :) I have reuploaded new packages with 
the correct version number. If you already downloaded one that claimed 
it was 4.2pre16, don't bother redownloading -- there are no changes 
other than a correct version number.

Jingzhao Ou wrote:
> Dear Slava,
> 
> Thanks for releasing the new version of jEdit. I just installed it and it shows
> "jEdit4.2pre16". Is this intensional?
> 
> Jingzhao
> 
> --- Slava Pestov <sl...@je...> wrote:
> 
> 
>>Hello everybody,
>>
>>This is it. jEdit 4.2final is now available from <http://www.jedit.org>.
>>
>>List of changes since 4.1final: <http://www.jedit.org/42docs/news42/>.
>>List of changes since 4.2pre15: <http://www.jedit.org/CHANGES42.txt>.
>>
>>If you're upgrading from 4.1, remove all your plugins and download a 
>>fresh set from within 4.2.
>>
>>Have fun.
>>
>>Slava
>>