On Fri, Jan 20, 2023 at 4:02 PM Nathan Bossart <nathandbossart(at)gmail(dot)com> wrote:
> On Fri, Jan 20, 2023 at 03:42:03PM -0500, Robert Haas wrote:
> > Thanks to you both. I have committed these patches.
>
> Thanks! Does this need a catversion bump?
I was surprised by this question because I thought I'd included one.
But it turns out I didn't include that in the commit and it's still in
my working tree. *facepalm*
--
Robert Haas
EDB: http://www.enterprisedb.com