On 25 May 2017 at 21:06, Julio Costa Zambelli <[email protected]> wrote: > OK. So the change actually fixes this, right?
Yes. -- Matthijs _______________________________________________ dev mailing list [email protected] https://lists.openstreetmap.org/listinfo/dev
