On Tue, 13 Sep 2022 14:03:52 GMT, Roger Riggs <rriggs at openjdk.org> wrote: > fold with previous line. Done. ------------- PR: https://git.openjdk.org/jdk/pull/10230