On 5/17/23 3:19 PM, Andres Freund wrote:
> 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.
Nice! Thank you,
Jonathan