On Thu, 3 Apr 2025 09:55:51 GMT, Hamlin Li <mli at openjdk.org> wrote: > Good idea! Thanks! Thanks for having a look :-) ------------- PR Comment: https://git.openjdk.org/jdk/pull/24344#issuecomment-2775254702