On Sat, 18 Dec 2021 00:54:50 GMT, Aggelos Biboudis <duke at openjdk.java.net> wrote: > Minor details This pull request has been closed without being integrated. ------------- PR: https://git.openjdk.java.net/valhalla-docs/pull/3