On 08.02.2016 21:14, ael wrote:
I might try to open a ticket, but the last time I tried that, it seemed to vanish :-(
Thanks for reporting the problem! This list is dedicated to developer discussion and meta-issues. Please open a ticket on https://josm.openstreetmap.de/ for JOSM bug reports and feature requests!
If there are major technical problems with the report system, you can contact Dirk Stöcker or someone else of the team directly!
Best, Paul _______________________________________________ josm-dev mailing list [email protected] https://lists.openstreetmap.org/listinfo/josm-dev
