Skip to content

Fix two tests related to darwin and recent git#657

Merged
Nikokrock merged 1 commit intoAdaCore:masterfrom Nikokrock:mr/fix_darwin_testsDec 15, 2023
+10-4

Commits

Commits on Nov 23, 2023