Tree @
6feded9
(
Download .tar.gz
)
..
01-java11-compatibility.patch
series
use-latest-sbt.patch
History of debian
/
patches
/
01-java11-compatibility.patch
@
6feded9366e2b38c5b9f5b400c9efd794d5b1af7
Fixed a build failure with Java 11
Emmanuel Bourg
7 years ago