On Thu, 16 Jan 2025 21:39:50 GMT, David Holmes <dhol...@openjdk.org> wrote:
> Not sure it is worth all this effort, but that's a core-libs decision. Neither am I. ------------- PR Comment: https://git.openjdk.org/jdk/pull/23117#issuecomment-2597058064
