On 30 May 2016 at 23:25, Ilia Mirkin <imirkin at alum.mit.edu> wrote: > Hello, > > I fat-fingered a push and forgot to add stable tags to the following > two commits. They should both be included in 12.0. There will be more > :) > Seems like I've missed these last time around. These should be out in a couple of hours. Thanks Emil