tree c85329fc1147ebcc459ba195cae9022975b868da
parent d1663721cd802136e2588774944e2af38b8fe414
author Christoph Kaser <berlin@caser.de> 1579105385 +0100
committer Christoph Kaser <berlin@caser.de> 1579105385 +0100

Use version of JaCoCo compatible with Java 11