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