Hi,
On 2019-03-14 15:49:40 +0800, John Naylor wrote:> It seems this is a leftover from commit 578b229718e8. Patch attached.
Thanks for noticing. Pushed.
Greetings,
Andres Freund