On Thu, Oct 7, 2021 at 12:05 PM Amit Langote <amitlangot...@gmail.com> wrote: > On Wed, Oct 6, 2021 at 5:41 PM Etsuro Fujita <etsuro.fuj...@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
