diff options
| author | Yuki Okushi <jtitor@2k36.org> | 2021-07-15 21:19:22 +0900 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-07-15 21:19:22 +0900 |
| commit | 262a4f99c107e5fd9d1a3f73778a72b7fe762cd0 (patch) | |
| tree | 27eb3f1e0318318f2851443af77cd716a1260f71 /compiler/rustc_mir/src/transform/coverage/graph.rs | |
| parent | 20b363cb49d94d5719024d855f49a28af3b691a8 (diff) | |
| parent | 9bab94f045e6acb9daeb2f867ad0233e986b635c (diff) | |
| download | rust-262a4f99c107e5fd9d1a3f73778a72b7fe762cd0.tar.gz rust-262a4f99c107e5fd9d1a3f73778a72b7fe762cd0.zip | |
Rollup merge of #87154 - GuillaumeGomez:rev-attr-a, r=JohnTitor
Fix misuse of rev attribute on <a> tag The `rev` attribute is supposed to talk about "ownership" as far as I could found out. This attribute seems not very well defined in the HTML spec and its usage in rustdoc is suboptimal. It was found out in https://github.com/rust-lang/rust/pull/87149. r? `@JohnTitor`
Diffstat (limited to 'compiler/rustc_mir/src/transform/coverage/graph.rs')
0 files changed, 0 insertions, 0 deletions