On Fri, 17 Oct 2025 22:02:00 GMT, Andrew John Hughes <andrew at openjdk.org> wrote: > Merge jdk8u472-b07 This pull request has been closed without being integrated. ------------- PR: https://git.openjdk.org/shenandoah-jdk8u/pull/113