On Mon, 31 Jul 2023 07:52:42 GMT, Jan Kratochvil <jkratoch...@openjdk.org> wrote:
> I doubt there is anyone as it did not work. :-) Um, I've been using it for years without noticing any problems, and measured a frequent speedup for my normal use. ------------- PR Comment: https://git.openjdk.org/jdk/pull/15080#issuecomment-1670166327