On Fri, 29 Jan 2021 08:33:46 GMT, Thomas Stuefe <stuefe at openjdk.org> wrote: > Thanks! Trivial too? I don't see why not. The patch is trivial in substance, but I would like to see builds to complete first. ------------- PR: https://git.openjdk.java.net/jdk/pull/2308