<div dir="ltr"><div class="gmail_extra"><div class="gmail_quote"><br><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left-width:1px;border-left-color:rgb(204,204,204);border-left-style:solid;padding-left:1ex">

Nice. It is a one time update or will all changes be uploaded from now on?<br></blockquote><div><br></div><div>This runs as a daily cronjob, i.e. from now on all validated solutions are applied once a day.</div><div><br>
</div>
<div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left-width:1px;border-left-color:rgb(204,204,204);border-left-style:solid;padding-left:1ex">BTW The background Map is a bit outdated.<br></blockquote>

</div><div><br></div><div>The background map is indeed outdated, but it</div><div><br></div><div>1. looks very good</div><div>2. is available for retina displays</div><div><br></div><div>We figured that considering we are dealing with errors on the map anyway, an up-to-date background is not a must-have, but a good-looking on is :)</div>

<div>I guess it's a matter of priority...</div></div></div></div>