diff options
| author | bors <bors@rust-lang.org> | 2024-10-23 19:12:16 +0000 |
|---|---|---|
| committer | bors <bors@rust-lang.org> | 2024-10-23 19:12:16 +0000 |
| commit | cefa31a5243b90c0c606e2fdb3fc3e036a8bec16 (patch) | |
| tree | 8cbfcc154ea2259e670d928244667a332f6c57e2 /compiler/rustc_codegen_llvm/src | |
| parent | 5873cb9d1752946f1f0a41512b45697879245ca0 (diff) | |
| parent | 7115404a975b82dc193fe0b19108d774e1320f37 (diff) | |
| download | rust-cefa31a5243b90c0c606e2fdb3fc3e036a8bec16.tar.gz rust-cefa31a5243b90c0c606e2fdb3fc3e036a8bec16.zip | |
Auto merge of #13588 - GuillaumeGomez:fix-lint-anchor, r=flip1995
Fix not working lint anchor (generation and filtering) As spotted by `@flip1995,` the anchor button is currently not working. Problem was the JS that was preventing the web browser from adding the hash at the end of the URL. For the second bug fixed, the JS was stripping two characters instead of just stripping the `#` at the beginning. changelog: Fix clippy page lint anchor (generation and filtering) r? `@flip1995`
Diffstat (limited to 'compiler/rustc_codegen_llvm/src')
0 files changed, 0 insertions, 0 deletions