Marc Poulhiès <poulh...@adacore.com> writes:

> Arnaud Charlet <char...@adacore.com> writes:
>
>> Marc, can you please take care of it when you get a chance?
>
> I'll push the change as soon as the tests are finished.

Pushed as r14-5282.

Marc

Reply via email to