[josm-dev] mirrored_download plugin source

[Simon Legner]

Hi!

> I just updated to r28108 of mirrored_download and both bugs are still
> present.

No real changes have been performed recently (besides adding an icon).

I attached a (preliminary) patch to the ticket [7511], but I'm not happy 
with the history behaviour of the new Server URL field yet. Didn't find 
time to further investigate, though.

Cheers,
Simon

[7511] http://josm.openstreetmap.de/ticket/7511