tree 273b323d707ccd79ba7c24783e86b7fc5328f9fb
parent 05c32b66bb9cec67cec4be4ab87788897f2ce303
author Robert Munteanu <rombert@apache.org> 1568795823 +0200
committer Robert Munteanu <rombert@apache.org> 1568795823 +0200

Java 13 is out, test with 13 instead of 12.