On Mon, 31 Jul 2023 09:46:17 GMT, Thomas Obermeier <[email protected]> wrote:
> Thanks guys for pointing this out to a newbie! Would you expect me to add a > NOOP PR with correct labeling? > Regards > Thomas You can if you want to. I'm unemotional :-) If you do, you can mark it as "trivial" (as in, mention in the PR description its a "Trivial" change, which - when accepted by reviewers - means just one review is needed and it is exempt from the usual "wait 24hrs before pushing" rule. ------------- PR Review Comment: https://git.openjdk.org/jdk/pull/15074#discussion_r1279067833
