On Thu, Jun 02, 2022 at 09:48:25AM -0700, Andres Freund wrote:
> On 2022-06-01 13:59:06 +0900, Michael Paquier wrote:
>> So, this leads to something like the attached. Does that sound fine
>> to you?
>
> That looks reasonable to me. Do you want to apply it or will you?
Thanks for double-checking! I should be able to take care of that
today.
--
Michael