On 2018-Jul-19, Alexander Korotkov wrote:
> Pushed, thanks!
I think you missed branch REL_11_STABLE ...
-- Álvaro Herrera https://www.2ndQuadrant.com/PostgreSQL Development, 24x7 Support, Remote DBA, Training & Services