Skip to content

Fixes #309 Anchorable Header not visible in generic theme#338

Merged
Dirkster99 merged 1 commit intoDirkster99:masterfrom dgosbell:fix-anchorable-headerJul 16, 2022