On Sat, 8 Apr 2023 15:53:17 GMT, Alan Bateman <al...@openjdk.org> wrote:

> I assume you didn't mean to edit this.

Updated, thank you.

-------------

PR Review Comment: https://git.openjdk.org/jdk/pull/13400#discussion_r1161603585

Reply via email to