On Thu, Mar 23, 2023 at 3:06 PM Robert Haas <robertmh...@gmail.com> wrote: > On Thu, Mar 23, 2023 at 1:34 PM Robert Haas <robertmh...@gmail.com> wrote: > > OK, let me spend some more time on this and I'll post a patch (or > > patches) in a bit. > > All right, here are some more fixups.
It looks like e88754a1965c0f40a723e6e46d670cacda9e19bd make skink happy (although Peter Geoghegan has spotted a problem with it, see the thread that begins with the commit email) so I went ahead and committed these fixups. Hopefully that won't again make the buildfarm unhappy, but I guess we'll see. -- Robert Haas EDB: http://www.enterprisedb.com
