On Wed, Sep 11, 2019 at 7:10 PM Peter Geoghegan <[email protected]> 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
