Closed amicic closed 1 year ago
Cherry-pick of https://github.com/eclipse/omr/pull/6918
@dmitripivkine
Cherry-pick of https://github.com/eclipse/omr/pull/6918