On Wed, Sep 15, 2021 at 10:48 PM Andres Freund <and...@anarazel.de> wrote: > > On 2021-09-15 10:47:33 -0400, Andrew Dunstan wrote: > > this is an open item for release 14. Is someone going to commit? > > Will do. Although I do wish the original committer would have chimed in at > some point...
Crap. My apologies for this -- I had somehow managed to press the "mute" button in gmail on tihs thread when I cleaned things up after returning from my vacation, so I hadn't spotted anything in it until I saw your commit happening a short wihle ago. I have no idea how I managed to do that, but clearly I did. Sorry! AIUI the commit has taken care of the urgent things for 14, correct? I see there are some discussions points left and I'll review the thread and see if I have any input on those as well a bit later, of course, but just so I'm not missing something else that's urgent? Again, my apologies for completely missing this! -- Magnus Hagander Me: https://www.hagander.net/ Work: https://www.redpill-linpro.com/