<div dir="ltr">We're boiling the ocean here.Matthij's proposal as it now stands is not controversial and is merely a typo cleanup. I'm amazed at his patience.<br></div><div class="gmail_extra"><br><div class="gmail_quote">On 18 December 2014 at 13:59, Chris Fleming <span dir="ltr"><<a href="mailto:me@chrisfleming.org" target="_blank">me@chrisfleming.org</a>></span> wrote:<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">I really struggled to see how this mechanical edit can do any harm. I certainly don't see people manually fixing all of these, and frankly there are better things to do with our time. <br><br>If people are watching locally for changes, they should see them happen which is quite a good trigger to check the changes and local area, for other things that need doing. <br><br>Cheers<span class="HOEnZb"><font color="#888888"><br>Chris</font></span><div class="HOEnZb"><div class="h5"><br><br><br><div class="gmail_quote">On Thu, 18 Dec 2014 13:37 Andy Allan <<a href="mailto:gravitystorm@gmail.com" target="_blank">gravitystorm@gmail.com</a>> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">On 18 December 2014 at 12:18, Jonathan Bennett <<a href="mailto:jonobennett@gmail.com" target="_blank">jonobennett@gmail.com</a>> wrote:<br>
<br>
> All your mechanical edit does<br>
> is correct one tiny part of the mapping, and possibly to no great effect -<br>
> it's just the text of the name that's getting corrected under a limited set<br>
> of circumstances.<br>
<br>
So let's JFDI then, right?<br>
<br>
Thanks,<br>
Andy<br>
<br>
______________________________<u></u>_________________<br>
Talk-GB mailing list<br>
<a href="mailto:Talk-GB@openstreetmap.org" target="_blank">Talk-GB@openstreetmap.org</a><br>
<a href="https://lists.openstreetmap.org/listinfo/talk-gb" target="_blank">https://lists.openstreetmap.<u></u>org/listinfo/talk-gb</a><br>
</blockquote></div>
</div></div><br>_______________________________________________<br>
Talk-GB mailing list<br>
<a href="mailto:Talk-GB@openstreetmap.org">Talk-GB@openstreetmap.org</a><br>
<a href="https://lists.openstreetmap.org/listinfo/talk-gb" target="_blank">https://lists.openstreetmap.org/listinfo/talk-gb</a><br>
<br></blockquote></div></div>