metrics: fix docsrs_prioritized_crates_count#810

Merged

jyn514 merged 2 commits intorust-lang:masterfrom

pietroalbini:fix-metrics

Jun 11, 2020

Commits on Jun 4, 2020

metrics: fix docsrs_prioritized_crates_count
pietroalbini
committed

Commits on Jun 11, 2020

Update src/web/metrics.rs

pietroalbini
and
Joshua Nelson
authored