On Thu, 30 Nov 2023 06:06:48 GMT, David Holmes <dhol...@openjdk.org> wrote:
>> Thanks everyone involved in reviewing this PR! You were awesome and helped >> me drive the PR to better place than it started! > > @jbachorik this should not have been integrated yet! You only have one > review not the required two for hotspot changes. Further your one Reviewer > didn't even review the final version of the change! I did review the final version of the change. Can @dholmes-ora or @tstuefe review again and we'll open CRs for anything missed? ------------- PR Comment: https://git.openjdk.org/jdk/pull/16662#issuecomment-1833758619
