> Date: Mon, 19 Sep 2016 16:08:33 +0200 (CEST)
> From: Mark Kettenis
>
> > Date: Mon, 19 Sep 2016 14:08:49 +0200 (CEST)
> > From: Mark Kettenis
> >
> > Saves a bit code and a bit of stack space, which might be important
> > important in some
> Date: Mon, 19 Sep 2016 14:08:49 +0200 (CEST)
> From: Mark Kettenis
>
> Saves a bit code and a bit of stack space, which might be important
> important in some unwinding scenarios.
>
> ok?
Transplanted the diff into the wrong file. Here is the correct one.
Index: