On Thu, Jun 24, 2021 at 6:38 PM Amit Kapila <amit.kapila16@gmail.com> wrote:
>
> On Thu, Jun 24, 2021 at 5:27 PM Guillaume Lelarge
> <guillaume@lelarge.info> wrote:
> >
> > Really tiny patch attached to fix this if it really is wrong, and anyone cares enough to fix it :)
> >
>
> LGTM. I'll take care of this tomorrow unless someone else has any
> suggestions in this regard.
>
Pushed.
--
With Regards,
Amit Kapila.