On Mon, Oct 30, 2023 at 02:52:55PM -0400, Bruce Momjian wrote:
> Thanks, ran pgindent fix commits de64268561 and 5ae2087202a.
Thanks, Bruce. Note that this is a two-step process. Commits done to
fix indentation should also be added to .git-blame-ignore-revs. The
file has intructions about how to do it.
--
Michael