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
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