stephen_leake pushed a change to branch externals/ada-mode.release.
was 11a6a5a1da Delete "beta" from versionThe revisions that were on this branch are still contained in other references; therefore, this change does not discard any commits from the repository.
