[repo-assist] Add nested navigation categories via '/' in category front matter - #1337

[repo-assist] Add nested navigation categories via '/' in category front matter#1337

github-actions[bot] wants to merge 2 commits into

mainfsprojects/FSharp.Formatting:mainfrom

repo-assist/fix-issue-927-nested-categories-d3d27576c72ace27fsprojects/FSharp.Formatting:repo-assist/fix-issue-927-nested-categories-d3d27576c72ace27Copy head branch name to clipboard