Skip to content

Ensure the sidebar is not cutoff at the bottom#1762

Merged
mjgiarlo merged 1 commit intomainfrom sidebar-cutoffNov 17, 2023

Commits

Commits on Nov 16, 2023