On Thu, Jul 2, 2026 at 11:36 PM Richard Guo <[email protected]> wrote:
> > Seems pgindent is needed for this commit.
>
> I've just pushed a trivial patch for the pgindent fix.

Thanks, sorry about that.

--
Robert Haas
EDB: http://www.enterprisedb.com


Reply via email to