Style: fix whitespace

[gperciva]

No description provided.

[gperciva]

This replaces #521.

I think it's been 6-12 months since I last tried to get 3rd-party PRs to allow us to "approve" the github action run, so it's time to try again.

[cperciva]

Needs a "reported by" tag in the commit message. (Ok @TimWolla only reported one of the three, but it's a matter of principle.)

[gperciva]

Done.

[cperciva]

@TimWolla Should this be Reported by: Tim Wolla or Reported by: Tim Düsterhus?

[gperciva]

We already have Tim D in the repo as the author of 28dfe29, so it makes sense to use that name for the "Reported by".

Commit message amended.

[TimWolla]

Should this be Reported by: Tim Wolla or Reported by: Tim Düsterhus?

As Graham correctly determined, “Tim Düsterhus”.

[TimWolla]

I think it's been 6-12 months since I last tried to get 3rd-party PRs to allow us to "approve" the github action run, so it's time to try again.

You would need the pull_request workflow trigger in the workflow definition for it to run on pull requests from forks.