On Wed, 5 Oct 2022 07:24:56 GMT, Matthias Baesken <mbaes...@openjdk.org> wrote:
> > Looks good. Thanks for fixing this. > > Thanks for the review ! Do I need a second review for those tools like in > hotspot ? One reviewer is okay here and Mandy is the expert on this tool. So I think you are good to go. ------------- PR: https://git.openjdk.org/jdk/pull/10300
