On Thu, 29 Jun 2023 at 17:59, Tom Tromey <tromey@adacore.com> wrote:

> >>>>> Jonathan Wakely <jwakely@redhat.com> writes:
>
> > Looks good. OK for trunk, and OK to backport after some soak time on
> trunk. Thanks.
>
> AdaCore doesn't need a backport of this, and I don't think it's
> extremely important; so unless you want me to do it, I don't plan to.
>

OK, we can always backport it later if anybody else needs it.



> I did check it in on trunk earlier today.
>
>
Thanks.