On Wed, Nov 1, 2017 at 2:44 AM, Berthold Stoeger <bstoeger at mail.tuwien.ac.at> wrote: >> @Linus: patch attached. Sorry about that. > > Forgot to commit one file... Thanks, applied. Linus