Editorial change: updating list for 2025-05 release#1229

gusthoff merged 1 commit intoAdaCore:masterAdaCore/learn:masterfrom

gusthoff:remotes/origin/content/advanced_ada/review/editorial/general/20250530/changeloggusthoff/ada-learning-material:remotes/origin/content/advanced_ada/review/editorial/general/20250530/changelogCopy head branch name to clipboard