[release-1.5] 🌱 Update glossary.md: Fix typo in level of heading. #12944
GitHub Actions / PR Type
succeeded
Dec 14, 2023 in 0s
PR Type in Title
Found 🌱 PR (infra)
Details
Final title:
Update glossary.md: Fix typo in level of heading.
Loading