On Thu, Aug 19, 2021 at 8:20 PM Andres Freund <andres@anarazel.de> wrote:
>
> On 2021-08-19 01:10:55 -0700, Andres Freund wrote:
> > On 2021-08-19 17:05:01 +0900, Michael Paquier wrote:
> > > Okay. Would you like to write a patch then?
> >
> > I'll push something in a bit...
>
> Done.
Thanks!