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