On Fri, 1 Sep 2023 09:00:32 GMT, Hannes Greule <hgre...@openjdk.org> wrote:
> Maybe it would make sense to start with a JDK-internal variant before > exploring potential public API? This is certainly one alternative. ------------- PR Comment: https://git.openjdk.org/jdk/pull/15530#issuecomment-1702421871