<div dir="ltr"><br><div class="gmail_extra"><br><div class="gmail_quote">On 10 March 2018 at 18:28, Gerd Petermann <span dir="ltr"><<a href="mailto:gpetermann_muenchen@hotmail.com" target="_blank">gpetermann_muenchen@hotmail.com</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">Hi Felix,<br>
<br>
I assume that you either have other patches active as well or you changed your style,<br>
anyway, I am working on a better version but don't have much time this weekend.<br>
<span class=""><br>
Gerd<br>
<br><br></span></blockquote><div><br></div><div>Hallo Gerd,</div><div>No I have no other patches active - well if you work on a better version I will wait before I roll back to java 8 for checking it up. I haven't found any info about mkgmap compatibility with java 9 so far.</div><div>And style is unchanged.</div><div><br></div><div>Felix </div></div>
</div></div>