[File] typos in commits

[Bastian Bittorf]

On Tue, May 23, 2023 at 09:38:57AM -0400, Christos Zoulas wrote:
> On 2023-05-23 9:10 am, Vincent Mihalkovic wrote:
> > Hello,
> > 
> > There are errors in the latest commits that make the file impossible
> > to build.

thanks Vincent + Christos, i also was bitten by this.

would you accept a github-action for doing a testbuild on every commit?
(and email the commiter in case something breaks...)

bye, Bastian