On Fri, 19 May 2023 17:49:07 GMT, Kevin Driver <kdri...@openjdk.org> wrote:
>> Fixes: [JDK-8294985](https://bugs.openjdk.org/browse/JDK-8294985) > > Kevin Driver has updated the pull request incrementally with two additional > commits since the last revision: > > - fix bug id in test header > - reworked example into a jtreg test Mostly nits here. Take or leave... ------------- PR Review: https://git.openjdk.org/jdk/pull/13466#pullrequestreview-1435046400
