tree 841ac997a4b691135dac5647d4a65c0d8d8def1b
parent 535f99112a86639f4e08c5a82a33cefda522baef
author Gary Gregory <garydgregory@gmail.com> 1594825026 -0400
committer Gary Gregory <garydgregory@gmail.com> 1594825026 -0400

Remove Java 12 and 13.