On Wed, 18 Aug 2021 18:22:09 GMT, Roman Kennke <rkennke at openjdk.org> wrote: > Ping? Any takers? The only email for this PR I have any record of is the auto-withdraw at the end of June. Weird! I'll have a look. ------------- PR: https://git.openjdk.java.net/jdk/pull/3862