On 14 July 2018 at 04:57, Heikki Linnakangas <hlinnaka(at)iki(dot)fi> wrote:
> Pushed, thanks!
Thanks for pushing, and thanks again for reviewing it, Alexander.
--
David Rowley http://www.2ndQuadrant.com/
PostgreSQL Development, 24x7 Support, Training & Services