Thanks for reviewing that, committed to trunk :)
On Tue, Oct 13, 2020 at 5:38 PM Eric Botcazou <botca...@adacore.com> wrote: > > > Do you mind having a review for that? > > Sorry for missing the v2 patch; yes, it looks good to me. > > -- > Eric Botcazou > >
