On Fri, Feb 17, 2012 at 1:50 PM, Paul Hartmann <[email protected]> wrote:
> If we reserve a small pool, this won't be enough, so who decides which > plugin is more important? That's the idea. It can be enough because nobody installs all plugins but only a few of them. Pieren _______________________________________________ josm-dev mailing list [email protected] http://lists.openstreetmap.org/listinfo/josm-dev
