Skip to content

Fix sidebar when no highlighted resource is present#7826

Merged
JammingBen merged 1 commit intomasterfrom fix-sidebar-without-highlighted-resourceOct 19, 2022

Commits

Commits on Oct 19, 2022