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. >