On Sun, 18 Dec 2011, Paul Hartmann wrote:
There are two new reports:
http://josm.openstreetmap.de/ticket/7158
http://josm.openstreetmap.de/ticket/7162
#7158 is probably a rare situation or special configuration. (We haven't
had any complaints so far.)
Not sure how serious #7162 is, but I'd feel more comfortable, if this
was fixed in the tested version.
Hmm, I have seen them as well. I don't think they are that important. In
any case we can do a bug-fix-branch if really necessary even if we didn't
do it before :-)
It is nice thought that my private policy "there should be no exceptions"
is also true for you.
Ciao
--
http://www.dstoecker.eu/ (PGP key available)
_______________________________________________
josm-dev mailing list
josm-dev@openstreetmap.org
http://lists.openstreetmap.org/listinfo/josm-dev