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).