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.
Well the, Tom, go ahead. Richard. > -- > Eric Botcazou > >
