Skip to content

Fix intra-doc tests for renamed lint.#8576

Merged
bors merged 1 commit intorust-lang:masterfrom
ehuss:fix-broken_intra_doc_links
Aug 3, 2020
Merged

Fix intra-doc tests for renamed lint.#8576
bors merged 1 commit intorust-lang:masterfrom
ehuss:fix-broken_intra_doc_links

Commits

Commits on Aug 1, 2020