On Sun, 18 Dec 2011, Vincent Privat wrote:
I'm fixing #7162 right now.
Probably we really have the best developers of the world! Ciao -- http://www.dstoecker.eu/ (PGP key available) _______________________________________________ josm-dev mailing list josm-dev@openstreetmap.org http://lists.openstreetmap.org/listinfo/josm-dev
