On Mon, 5 Oct 2020 17:28:07 GMT, Dalibor Topic <robilad at openjdk.org> wrote: > I didn't see a reply yet, so I sent another mail today. @robilad, are you sending this mail to @stokito? Maybe we should ask him to check Spam folder or some such? ------------- PR: https://git.openjdk.java.net/jol/pull/3