Editorial change: minor changes related to toolchain updates#1297

gusthoff merged 2 commits intoAdaCore:mainAdaCore/learn:mainfrom

gusthoff:content/ada_2022_whats_new/editorial/review/20251226gusthoff/ada-learning-material:content/ada_2022_whats_new/editorial/review/20251226Copy head branch name to clipboard