On Fri, Feb 3, 2023 at 12:35 AM Dean Rasheed <dean.a.rash...@gmail.com> wrote:
> And as someone who runs pgindent regularly, I think this will be a net
> time saver, since I won't have to skip over other unrelated indent
> changes all the time.

+1


Reply via email to