On Mon, 20 Mar 2023 at 11:11, Tomas Vondra <tomas.von...@enterprisedb.com> wrote: > > On 3/14/23 15:41, Matthias van de Meent wrote: > > On Tue, 14 Mar 2023 at 14:49, Tomas Vondra > > <tomas.von...@enterprisedb.com> wrote: > >> > >>> ... > > > >> If you agree with these changes, I'll get it committed. > > > > Yes, thanks! > > > > I've tweaked the patch per the last round of comments, cleaned up the > commit message a bit (it still talked about unused bit in tuple header > and so on), and pushed it. > > Thanks for fixing the issues that got the patch reverted last year!
Thanks for helping getting this in! Kind regards, Matthias van de Meent.