On Wed, 30 Mar 2022 at 13:31, Frederic Konrad <kon...@adacore.com> wrote: > > frederic.kon...@adacore.com and kon...@adacore.com will stop working starting > 2022-04-01. > > Use my personal email instead. > > Signed-off-by: Frederic Konrad <frederic.kon...@adacore.com>
I'll take this via target-arm.next since I'm putting a pullreq together at the moment anyway. thanks -- PMM