Julien Rouhaud <rjuju...@gmail.com> writes: > On Fri, May 15, 2020 at 9:17 AM Daniel Gustafsson <dan...@yesql.se> wrote: >> On 15 May 2020, at 08:28, Julien Rouhaud <rjuju...@gmail.com> wrote: >>> The patch looks good to me. It looks like we already have custom >>> patches, so +1 to applying it.
>> Shouldn't we try and propose it to upstream first to minimize our diff?
> Good point, adding Piotr.
In the meantime, I went ahead and pushed this to our pg_bsd_indent repo.
regards, tom lane
