On Fri, 18 Oct 2024 03:54:40 GMT, John R Rose <jr...@openjdk.org> wrote:
> Happily, that day has come. Yes, feeling happy! I have been waiting to get rid of this last piece! ------------- PR Comment: https://git.openjdk.org/jdk/pull/21571#issuecomment-2422885117
