On Fri, Jan 20, 2023 at 4:02 PM Nathan Bossart <nathandboss...@gmail.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
