On 17.02.2015 at 00:16 Nicolás Alvarez wrote > This is the JOSM mailing list, so I guess he's talking about JOSM :) Sorry, seems it was too late yesterday: I was under the impression that the message was on the general "dev" list... :-( I have to excuse myself! Cheers, Michael. :-(