On 2018-Jul-10, Michael Paquier wrote:
> Yep, let's change that as well. If you want to look at that stuff more
> deeply, please feel free. Otherwise I could always push what I have
> now.
I say please push already. We can push more fixes later if they are
needed.
--
Álvaro Herrera https://www.2ndQuadrant.com/
PostgreSQL Development, 24x7 Support, Remote DBA, Training & Services