On Thu, Jul 2, 2026 at 11:36 PM Richard Guo <guofenglinux(at)gmail(dot)com> 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