>>>>> "Richard" == Richard Biener <[email protected]> writes:
Richard> On Fri, Mar 28, 2025 at 8:32 AM Eric Botcazou <[email protected]> wrote: >> >> > Let's involve Eric here, I have no idea what was intended here. >> >> We discussed it with Tom internally and he makes the final decisions here. Richard> Well the, Tom, go ahead. Thanks. I made the change you suggested up-thread, and re-tested the patch. I'm going to check it in now. Tom
