Re: [ jEdit-users ] BeanShell

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

If there are specific patches to Beanshell that we should apply, please
submit patches.
I think jEdit authors made lots of customizations to the beanshell library,
so it might be not so easy to use a later upstream version of beanshell.


On Sat, Dec 23, 2017 at 8:35 AM, sigzero <si...@gm...> wrote:

> I imagine since jEdit uses BeanShell it should start including the latest
> version that addresses a CVE:
>
> https://github.com/beanshell/beanshell
>
> Or maybe it already does?
>
> --
> Bob
>
> ------------------------------------------------------------
> ------------------
> Check out the vibrant tech community on one of the world's most
> engaging tech sites, Slashdot.org! http://sdm.link/slashdot
> --
> -----------------------------------------------
> jEdit Users' List
> jEd...@li...
> https://lists.sourceforge.net/lists/listinfo/jedit-users
>
>