]> git.lizzy.rs Git - rust.git/commit - src/tools/miri
Rollup merge of #81764 - jyn514:lint-links, r=GuillaumeGomez
authorDylan DPC <dylan.dpc@gmail.com>
Thu, 8 Apr 2021 18:29:56 +0000 (20:29 +0200)
committerGitHub <noreply@github.com>
Thu, 8 Apr 2021 18:29:56 +0000 (20:29 +0200)
commit9aed9c13537522bb9478421c516be380161e53ff
tree5b8bf90cbd2e18623d023de6d19f2f49572b46d2
parent689978c17636415dbe4a2d87ac83b53cd2c42416
parentff245dab413e0ae2dced431392a54755b57e6491
Rollup merge of #81764 - jyn514:lint-links, r=GuillaumeGomez

Stabilize `rustdoc::bare_urls` lint

Closes https://github.com/rust-lang/rust/issues/77501. Closes https://github.com/rust-lang/rust/issues/83598.