Hi, On 2023-05-16 10:30:27 -0400, Jonathan S. Katz wrote: > On 5/6/23 1:30 PM, Melanie Plageman wrote: > > > I've done that in the attached v5. > > [RMT hat] > > RMT nudge on this thread, as we're approaching the Beta 1 cutoff. From the > above discussion, it sounds like it's pretty close to being ready.
Thanks for the nudge. I just pushed the changes, with some very minor changes (a newline, slight changes in commit messages). I'll go and mark the item as closed. Greetings, Andres Freund