On Mon, Mar 07, 2022 at 06:35:45AM +0100, Pavel Stehule wrote:> > this patch should be rejected. There is no consensus.
Thanks for the confirmation, I will take care of it!