Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Merge pull request JuliaLang#10051 from rened/docsmenu
remove double entry for collections in docs menu
- Loading branch information