Re: [ jEdit-devel ] gitplugin 0.8 can't be downloaded

[Eric Le L. <ker...@us...>]

Le Thu, 29 Feb 2024 08:14:34 -0800,
Alan Ezust <ala...@gm...> a écrit :

> I've tried plugin central default, arizona, and netherlands, and they
> all told me to try another mirror.

Hi Alan,
it worked for me from Plugin Central Default just now.
Cheers,