Closed joaopsazevedo closed 2 years ago
Must be merged on edge because of https://github.com/AdaCore/libadalang-tools/commit/7f744af0a67d08675f7fc33638d640ad4870441e
Must be merged on edge because of https://github.com/AdaCore/libadalang-tools/commit/7f744af0a67d08675f7fc33638d640ad4870441e