On Mon, Sep 14, 2020 at 5:37 AM Amit Kapila <amit(dot)kapila16(at)gmail(dot)com> wrote:
> I am planning to push this tomorrow after doing testing on
> back-branches. Let me know if you have any comments.
The fix seems sensible to me.
--
Peter Geoghegan