On Wed, 8 Nov 2023 11:41:54 GMT, Johan Sjölen <jsjolen at openjdk.org> wrote: > Oops, apparently this is a draft, sorry about that. No problem, and thanks! It still counts ... :) ------------- PR Comment: https://git.openjdk.org/jdk/pull/16555#issuecomment-1805584537