10 Mar
2018
10 Mar
'18
5:31 p.m.
On 10 March 2018 at 18:28, Gerd Petermann <gpetermann_muenchen@hotmail.com> wrote:
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 weekend.
Gerd
Hallo Gerd, 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. Felix