On Sat, Mar 19, 2022 at 04:46:13PM -0500, Justin Pryzby wrote:
> On Thu, Mar 03, 2022 at 03:06:52PM +0800, Julien Rouhaud wrote:
> > Hi,
> >
> > On Wed, Mar 02, 2022 at 06:03:06AM +0100, Pavel Stehule wrote:
> > >
> > > I lost commit with this change. I am sending updated patch.
> >
> > Thanks a lot Pavel!
> >
> > I did a more thorough review of the patch. I'm attaching a diff (in .txt
> > extension) for comment improvement suggestions. I may have misunderstood
>
> But the attachment actually was a *.patch, so cfbot tried and failed to apply
> it.
Argh, I indeed failed to rename the patch. Thanks!
