[File] typos in commits

[Christos Zoulas]

I already have that. I got notified that the build broke...

christos

> On May 25, 2023, at 8:40 AM, Bastian Bittorf <bb at npl.de> wrote:
> 
> 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

-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 235 bytes
Desc: Message signed with OpenPGP
URL: <https://mailman.astron.com/pipermail/file/attachments/20230525/0718687a/attachment.asc>