Amit Kapila <[email protected]> writes: > On Mon, Sep 14, 2020 at 11:26 PM Peter Geoghegan <[email protected]> wrote: >> The fix seems sensible to me.
> Thanks, I think it is better to wait for a day or two as yesterday
> only we stamped 13 and we need to backpatch this.
Right, please avoid pushing anything non-critical to REL_13_STABLE
until you see the git tag appear. I doubt we will need to re-wrap
the tarballs, but you never know.
regards, tom lane
