Re: [PATCH] Rename .gitinore -> .gitignore

[Guillem Jover]

Hi!

On Sat, 2023-05-06 at 04:06:02 +0900, Simon Richter wrote:
> This seems to be a mistake.

Queued locally, will be in my next push.

Thanks,
Guillem