>>>>> "Richard" == Richard Biener <richard.guent...@gmail.com> writes:
Richard> On Fri, Mar 28, 2025 at 8:32 AM Eric Botcazou <botca...@adacore.com> 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
