Closed benlorenz closed 6 years ago
Followup to #6, see [1] for a build failure with openjdk9 on debian.
[1] https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=893421
Thanks a lot!
Followup to #6, see [1] for a build failure with openjdk9 on debian.
[1] https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=893421