I pushed the patches. Thanks again for the help! On Thu, 26 Apr 2018 12:22:54 +0200 Marius Bakke wrote: > Rutger Helling writes: > > > Thanks again! I've made the changes, so here's another set of > > patches. Note that the second patch is unchanged, just rebased. > > Excellent. Both patches LGTM. Thanks!