On Tue, 13 Aug 2024 21:18:04 GMT, Serguei Spitsyn <sspit...@openjdk.org> wrote:
>> Chris Plummer has updated the pull request incrementally with one additional >> commit since the last revision: >> >> git rid of unnecessary @build > > Looks good. @sspitsyn or @lmesnik I need a final review since I made a minor code formatting change. Thanks. ------------- PR Comment: https://git.openjdk.org/jdk/pull/20367#issuecomment-2289385463
