On Tue, Sep 15, 2020 at 8:54 AM Tom Lane <t...@sss.pgh.pa.us> wrote: > > Amit Kapila <amit.kapil...@gmail.com> writes: > > On Mon, Sep 14, 2020 at 11:26 PM Peter Geoghegan <p...@bowt.ie> 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. >
Pushed now. Sorry Peter, I forgot to give you reviewer credit in the commit message but I really appreciate your nod for this patch. -- With Regards, Amit Kapila.