On Mon, 21 Sep 2020 10:06:16 GMT, Stefan Karlsson <stefank at openjdk.org> wrote: >> Marked as reviewed by tschatzl (Reviewer). > > Thanks for reviewing! I consider this trivial enough to push it now. ------------- PR: https://git.openjdk.java.net/jdk/pull/279