On Thu, 16 Sep 2021 17:56:19 GMT, Anthony Vanelverdinghe <github.com+15714253+anthonyvdotbe at openjdk.org> wrote: > As the title says. This pull request has been closed without being integrated. ------------- PR: https://git.openjdk.java.net/amber-docs/pull/9