On Mon, Apr 8, 2024 at 10:15 AM Peter Eisentraut <pe...@eisentraut.org> wrote: > > Here is a new version of this patch. I think this is v18 material at > > this point, absent an outcry to the contrary. Sometimes we're flexible > > about doc patches. > > Looks good to me. I think this could go into PG17.
Hearing no objections, done. -- Robert Haas EDB: http://www.enterprisedb.com
