Hi, On 2021-09-16 16:38:04 +0200, Magnus Hagander wrote: > 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!
Hah, that explains that ;) > 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? I think so. Greetings, Andres Freund
