Julien Rouhaud <rjuju123@gmail.com> writes:
> On Fri, May 15, 2020 at 9:17 AM Daniel Gustafsson <daniel@yesql.se> wrote:
>> On 15 May 2020, at 08:28, Julien Rouhaud <rjuju123@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