On Fri, Jun 05, 2020 at 05:19:43PM -0400, Alvaro Herrera wrote:
HelloIs 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.comPostgreSQL Development, 24x7 Support, Remote DBA, Training & Services