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