On Thu, 29 Jun 2023 at 17:59, Tom Tromey <tro...@adacore.com> wrote: > >>>>> Jonathan Wakely <jwak...@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.
