On 18/05/2020 11.22, Julien Rouhaud wrote:
> On Sun, May 17, 2020 at 2:32 AM Michael Paquier <michael(at)paquier(dot)xyz> wrote:
>>
>> On Sat, May 16, 2020 at 11:56:28AM -0400, Tom Lane wrote:
>>> In the meantime, I went ahead and pushed this to our pg_bsd_indent repo.
>>
>> Thanks, Tom.
>
> +1, thanks a lot!
>
Committed upstream, thank you.