tree c5941cb2d00ef73638f64cf9ad1bed2befbf2a72
parent 68f8ed3425bb656036fe675511e7edb6973253c3
author Gary Gregory <garydgregory@gmail.com> 1595798606 -0400
committer Gary Gregory <garydgregory@gmail.com> 1595798606 -0400

Fix GitHub action for Java 15-ea.