On Fri, 15 Apr 2022 19:08:20 GMT, XenoAmess <d...@openjdk.java.net> wrote:
> Does this need a jmh benchmark? I'm not sure how to compare "before" and "after" meaningfully here. Generally speaking, I was satisfied when saw that `time` output stayed the same on my machine; maybe only a few seconds different on a two-minute run of `make docs`. ------------- PR: https://git.openjdk.java.net/jdk/pull/8266
