On Fri, Feb 3, 2023 at 12:35 AM Dean Rasheed <[email protected]> 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
On Fri, Feb 3, 2023 at 12:35 AM Dean Rasheed <[email protected]> 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