On 2018-Jul-13, Michael Paquier wrote: > Mr. Robot has been complaining about this patch set, so attached is a > rebased version. Thinking about it, I would tend to just merge 0001 and > give up on 0002 as that may not justify future backpatch pain. Thoughts > are welcome.
I vote to push both. -- Álvaro Herrera https://www.2ndQuadrant.com/ PostgreSQL Development, 24x7 Support, Remote DBA, Training & Services