On Wed, Jul 13, 2022 at 11:51 AM Ansgar Lößer
<ansgar.loesser@xxxxxxxxxxxxxxx> wrote:
>
> This is my first commit, so I hope it is ok like this.
The patch was whitespace-damaged (tabs converted to spaces, but also
extra spaces), but with something this small and simple I just fixed
it up manually.
Linus
