On Tue, 19 Dec 2023 17:53:49 GMT, Erik Gahlin <egah...@openjdk.org> wrote:
>> Raffaello Giulietti has updated the pull request incrementally with one >> additional commit since the last revision: >> >> Changes according to reviewer's comments. > >> You mean, in the @description annotation? > > Yes. @egahlin Are you OK with the last commit from the perspective of hotspot-jfr? ------------- PR Comment: https://git.openjdk.org/jdk/pull/17129#issuecomment-1891803118