On Fri, Jun 03, 2022 at 01:44:30PM -0400, Michael Meissner wrote:
> On Thu, Jun 02, 2022 at 04:30:19PM -0500, Segher Boessenkool wrote:
> > On Thu, Jun 02, 2022 at 03:06:52PM -0400, Michael Meissner wrote:
> > > Ping patch posted on May 13th:
> > 
> > Are you not going to apply any of Will's suggestions?  They looked solid
> > to me.
> 
> Sure, I will clean up the comments.  However, are there any issues other than
> the comments that I need to address?

Please first fix the issues that have been pointer out.  To avoid
unnecessary work on all sides.


Segher

Reply via email to