On Fri, 23 Apr 2010, Alan Mintz wrote: > (Note Cc to josm-dev. Is this the right thing to do? I looked for an open > ticket first and didn't find one.) The right thing is opening a ticket. Reports and this list tend to be forgotten. Ciao -- http://www.dstoecker.eu/ (PGP key available)