On Wed, Nov 11, 2026 at 4:13 PM Richard Guo <guofenglinux(at)gmail(dot)com> wrote:> This commit needs a pgindent.
Many thanks! I've pushed the fix.
Regards,
-- Fujii Masao