On Sun, May 28, 2017 at 05:45:52PM +0200, Marius Bakke wrote: > Leo Famulari writes: > > > I forgot to remove the obsolete patches here. I've made that change in > > my local tree. > > LGTM. Thanks for the review! Pushed as 22e6656d259838ae9014c1ed876caa9d819be6df.