On Tue, Jul 12, 2022 at 3:26 AM Andres Freund <and...@anarazel.de> wrote: > > On 2022-07-07 10:50:27 +0900, Masahiko Sawada wrote: > > Right, it's more robust. I've updated the patch accordingly. > > Do others have thoughts about backpatching this to 15 or not? >
I am not against backpatching this but OTOH it doesn't appear critical enough to block one's work, so not backpatching should be fine. -- With Regards, Amit Kapila.