On 2016-11-30 21:51, Simon Marchi wrote: > On 2016-11-24 13:47, Pedro Alves wrote: >> BTW, all other patches (I haven't looked at the missing ones) >> look good to me, apart from the nits I sent. > > I have now pushed patches 8-12 (inclusively). I have now pushed 13-18 and 20 (which was not dependent on 19).