On Fri, Aug 10, 2018 at 01:50:49PM +0200, Fabien COELHO wrote:> BTW, I have added this patch to the next CF:> > https://commitfest.postgresql.org/19/1751/
The latest patch does not apply anymore. Peter, could you rebase it?--Michael