On Thu, 8 Apr 2021 16:33:25 GMT, Aleksey Shipilev <shade at openjdk.org> wrote: >> OK then, with one minor stylistic nit. > > Good to go. OpenJDK infra seems to be at maintenance. Bots would hopefully integrate as infra is online again. ------------- PR: https://git.openjdk.java.net/shenandoah/pull/28