Re: [ jEdit-users ] IRC plugin

[<dmo...@gm...>]

On Sunday, December 09, 2001, 5:37:05 AM, Slava Pestov wrote:
> Hello everybody,

> How does everyone feel about the IRC plugin being bundled with the
> core in 4.0pre3=3F I think if more people have access to it by default,
> the jEdit IRC channel (#jedit on irc.openprojects.net) can become a
> useful alternative to the mailing lists for obtaining support.

I don't think it's really necessary.

Dirk.