On Mon, 12 Aug 2024 09:10:42 GMT, Andrew Haley <aph at openjdk.org> wrote: > Looks good. That's a nice simplification and cleanup. @theRealAph thanks for your approval! ------------- PR Comment: https://git.openjdk.org/jdk/pull/16991#issuecomment-2285682132