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
signature.asc
Description: PGP signature
