On 10 March 2018 at 18:28, Gerd Petermann <gpetermann_muenc...@hotmail.com>
> Hi Felix,
> I assume that you either have other patches active as well or you changed
> your style,
> anyway, I am working on a better version but don't have much time this
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.
And style is unchanged.
mkgmap-dev mailing list