diff options
| author | bors <bors@rust-lang.org> | 2024-01-03 20:04:56 +0000 |
|---|---|---|
| committer | bors <bors@rust-lang.org> | 2024-01-03 20:04:56 +0000 |
| commit | bc962c246a8f3efe4a1217b36c64a03652493327 (patch) | |
| tree | 99ecf673707730ab897c8e70b3851d85dda283a4 /src/tools/miri/genmc-sys/src_cpp/MiriInterface.cpp | |
| parent | 0153ca95ae588f0423f919e199370b6ff02b02c1 (diff) | |
| parent | ff2919ac5d1f90c146df714b9fd0f716713e96cb (diff) | |
| download | rust-bc962c246a8f3efe4a1217b36c64a03652493327.tar.gz rust-bc962c246a8f3efe4a1217b36c64a03652493327.zip | |
Auto merge of #12071 - ShE3py:deadlinks, r=blyxyas
Remove deadlinks from `unchecked_duration_subtraction` See <https://rust-lang.github.io/rust-clippy/master/index.html#unchecked_duration_subtraction> changelog: [`unchecked_duration_subtraction`]: remove deadlinks
Diffstat (limited to 'src/tools/miri/genmc-sys/src_cpp/MiriInterface.cpp')
0 files changed, 0 insertions, 0 deletions