On Fri, Jun 05, 2020 at 05:19:43PM -0400, Alvaro Herrera wrote:
>Hello
>
>Is this patch the only thing missing before this open item can be
>considered closed?
>
I've already pushed this as 4cad2534da6d17067d98cf04be2dfc1bda8f2cd0,
sorry for not mentioning it in this thread explicitly.
regards
--
Tomas Vondra http://www.2ndQuadrant.com
PostgreSQL Development, 24x7 Support, Remote DBA, Training & Services