On Fri, Sep 04, 2020 at 03:38:32PM -0400, Alvaro Herrera wrote:> Fixed in d54f99e4154.
Yes, thanks. I bumped into the other thread this morning:https://www.postgresql.org/message-id/839004.1599185607@sss.pgh.pa.usThe fix makes sense.--Michael