On Thu, Oct 7, 2021 at 12:05 PM Amit Langote <amitlangote09@gmail.com> wrote:
> On Wed, Oct 6, 2021 at 5:41 PM Etsuro Fujita <etsuro.fujita@gmail.com> wrote:
> > Rereading the comment, I think it would be better to add “will” to the
> > second part “the partitions with the same cardinal positions form the
> > pairs” as well. Updated patch attached.
>
> No objection from my side.
Ok, pushed. Thanks!
Best regards,
Etsuro Fujita
