Skip to content

[docs] Address glossary review feedback from PR #8951#8953

Merged
Evangelink merged 2 commits into
mainfrom
dev/amauryleve/glossary-fix-pr8951-followups
Jun 9, 2026
Merged

[docs] Address glossary review feedback from PR #8951#8953
Evangelink merged 2 commits into
mainfrom
dev/amauryleve/glossary-fix-pr8951-followups

Commits

Commits on Jun 9, 2026