On Thu, Jun 24, 2021 at 6:38 PM Amit Kapila <amit.kapil...@gmail.com> wrote: > > On Thu, Jun 24, 2021 at 5:27 PM Guillaume Lelarge > <guilla...@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.