On 08/01/2017 10:03 PM, John Paul Adrian Glaubitz wrote: > This patch fixes the build for me. Could you get it merged upstream?
Hmm, wait a second. I just had the JVM lock up. Will do a clean build to re-test. Adrian -- .''`. John Paul Adrian Glaubitz : :' : Debian Developer - glaub...@debian.org `. `' Freie Universitaet Berlin - glaub...@physik.fu-berlin.de `- GPG: 62FF 8A75 84E0 2956 9546 0006 7426 3B37 F5B5 F913
