Re: [PATCH 1/1] ada: Make the names of uninstalled cross-gnattools consistent across builds

[Maciej W. Rozycki]

On Thu, 4 Jul 2024, Arnaud Charlet wrote:

> The change is OK, thanks.

 I have committed it now, thank you for your review.

  Maciej