> On 15 Jan 2018, at 03:27, Michael Paquier <[email protected]> wrote:
> 
> Hi all,
> 
> As noticed by Daniel here:
> https://www.postgresql.org/message-id/[email protected]

In that thread I proposed a patch to fix this, but I certainly don’t object to
just removing it to make both syntax and code clearer. +1

cheers ./daniel

Reply via email to