Thanks for that! Richard
> On Sep 18, 2023, at 09:43, Arnaud Charlet <char...@adacore.com> wrote: > >> Thanks for finding that! I have made the recommended change and attached the >> revised patch, which is also rebased on trunk. >> >> Additionally, I have added the “Signed-off-by” tag for legal compliance to >> the patch, as well as the change log entry as follows: > > Thank you, patch is therefore now OK.
