> I propose to merge jdk8u201-ga into the aarch64/shenandoah-jdk8u repository > to create aarch64-shenandoah-jdk8u201-b12. [...] > Ok to push? Ok. Thanks! Roman