On Sun, 13 Aug 2023 07:15:45 GMT, Alan Bateman <al...@openjdk.org> wrote:

> AutoDelete is probably a bit overkill but okay.

Thanks! Any more takers?

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

PR Comment: https://git.openjdk.org/jdk/pull/15231#issuecomment-1677361679

Reply via email to