Re: [PATCH] Remove another keyword? check [was: Re: [PATCH] Small cleanup to get rid of a few compilation warnings]

[felix . winkelmann]

> On Sun, Apr 11, 2021 at 01:13:17PM +0200, Peter Bex wrote:
> > Here's another trivial one in the same vein.
>
> And another one (I think this is the last one).
>

Pushed.


felix