]> git.lizzy.rs Git - rust.git/commit - src/tools/miri
Rollup merge of #89442 - GuillaumeGomez:duplicated-doc-alias, r=estebank
authorManish Goregaokar <manishsmail@gmail.com>
Tue, 5 Oct 2021 19:52:45 +0000 (12:52 -0700)
committerGitHub <noreply@github.com>
Tue, 5 Oct 2021 19:52:45 +0000 (12:52 -0700)
commit80f1f0d1690344b402762a76205c11fd08d9b593
tree506a9f4fbfba5f806a4978a5e798a61dac32bf0f
parente745e098c45771c5d411f55b72efa96cbeb9aca6
parent013aa378f301af73116088bec86128ac7cbd8ab8
Rollup merge of #89442 - GuillaumeGomez:duplicated-doc-alias, r=estebank

Add check for duplicated doc aliases

r? ``@estebank``