On Mon, 14 Apr 2025 14:40:02 GMT, Roger Riggs <rri...@openjdk.org> wrote:
>> Shaojin Wen has updated the pull request incrementally with one additional >> commit since the last revision: >> >> from @valeriepeng > > Looks ok; but will need to be re-opened. It would seem odd to approve a > closed PR. Sorry it took so long to see this, @RogerRiggs @valeriepeng, can you help with re-approval? ------------- PR Comment: https://git.openjdk.org/jdk/pull/23411#issuecomment-2900456856
