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!