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