Skip to content

Miscellaneous convenient changes.#1084

Open
Blady-Com wants to merge 3 commits intoAdaCore:masterfrom Blady-Com:xnadalib-2022