Change "Types/modules" title of search tab to be more accurate#45898
Merged
bors merged 2 commits intorust-lang:masterfrom Dec 6, 2017
Merged
Change "Types/modules" title of search tab to be more accurate#45898bors merged 2 commits intorust-lang:masterfrom
bors merged 2 commits intorust-lang:masterfrom