On Tue, 1 Mar 2022 08:35:43 GMT, Thomas Schatzl <tschatzl at openjdk.org> wrote: > Fwiw, in redos it is typically a nice to have two commits if the actual change is minimal: Got it; will do so next time. Thanks for the review. ------------- PR: https://git.openjdk.java.net/jdk/pull/7573