On 2018-Jul-13, amul sul wrote:
> Thanks for the prompt fix, patch [1] works for me.
>
> 1] https://postgr.es/m/20180712184537.5vjwgxlbuiomomqd@alvherre.pgsql
Thanks for checking, pushed.
--
Álvaro Herrera https://www.2ndQuadrant.com/
PostgreSQL Development, 24x7 Support, Remote DBA, Training & Services