On Fri, Nov 11, 2022 at 2:12 PM Michael Paquier <mich...@paquier.xyz> wrote: > > On Fri, Nov 11, 2022 at 11:53:08AM +0530, Bharath Rupireddy wrote: > > On Fri, Nov 11, 2022 at 11:14 AM John Naylor < john.nay...@enterprisedb.com> wrote: > >> Was there supposed to be an attachment here? > > > > Nope. The patches have already been committed - > > 3bdbdf5d06f2179d4c17926d77ff734ea9e7d525 and > > 28cc2976a9cf0ed661dbc55f49f669192cce1c89. > > The committed patches are pretty much the same as the last version > sent on this thread, except that the changes have been split across > the files they locally impact, with a few simplifications tweaks to > the comments. Hencem I did not see any need to send a new version for > this case.
Ah, I missed that -- sorry for the noise. -- John Naylor EDB: http://www.enterprisedb.com