On Fri, 19 May 2023 17:23:56 +0200
Tomas Vondra <tomas.vondra@enterprisedb.com> wrote:
> On 5/19/23 00:27, Melanie Plageman wrote:
> > v10 LGTM.
>
> Thanks!
>
> I've pushed 0002 and 0003, after some general bikeshedding and minor
> rewording (a bit audacious, admittedly).
Thank you Melanie et Tomas for your help, review et commit!