On Mon, Oct 30, 2023 at 10:35:40AM +0200, Alexander Korotkov wrote:
> Fixed, thank you for catching it!
Thanks. Note that this is a two-step process, though. Commits done
to fix indentation should also be added to .git-blame-ignore-revs.
The file has intructions about how to do it.
--
Michael