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
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