On Fri, 2019-07-12 at 12:36 +0200, Roman Kennke wrote: > I am wondering if Shenandoah (with LRB and related improvements) > should go into 11u first? That makes a lot of sense. Thanks, Severin