[ jEdit-devel ] US mirrors of plugin central?

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

How is it decided when a mirror is added or removed?
I am having trouble reaching almost all of the US mirror sites for any
plugins at all.
All the european ones seem to work though.