On Wed, 21 Jan 2026 13:28:39 GMT, Thomas Schatzl <[email protected]> wrote:
> Looks good apart from minor nits (extra spaces). Sorry for taking so long. No problem, thanks for looking! This is not urgent, one of those "safety in depth" fixes, really. Refixed the PR after borked merge. Re-ran `hotspot_gc` without issues. ------------- PR Comment: https://git.openjdk.org/jdk/pull/28703#issuecomment-3779958493
