On 13/01/2019 01:55, Paul Martinez wrote: > This is my first submission to Postgres, so I'm not entirely sure what the > protocol is here to get this merged; should I add this patch to the 2019-03 > Commitfest?
I haven't looked at the patch yet, but I think it's a good idea and anyway yes, please add it to the next commitfest. -- Vik Fearing +33 6 46 75 15 36 http://2ndQuadrant.fr PostgreSQL : Expertise, Formation et Support