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. Segher
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. Segher