Skip to content

Fix highlighting of the currently selected language#8972

Merged
JammingBen merged 3 commits intostable-7.0from fix-current-language-highlightMay 3, 2023

Commits

Commits on May 3, 2023