On Wed, Nov 18, 2020 at 10:55 AM Thomas Munro <thomas(dot)munro(at)gmail(dot)com> wrote:
> > Should this commit be back-ported to earlier versions of postgres to
> > prevent this error in other versions?
>
> Yeah, that seems like a good idea anyway. I will do that tomorrow,
> barring objections.
Done, for 10, 11 and 12.