On Wed, Sep 11, 2019 at 7:10 PM Peter Geoghegan <pg(at)bowt(dot)ie> wrote:
> The patch has been committed already.
Oh, wait. It hasn't. Andrey didn't create a new thread for his largely
independent patch, so I incorrectly assumed he created a CF entry for
his original bugfix.
--
Peter Geoghegan