user0/rust
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

Merge pull request #4348 from RalfJung/urlfix

Browse source 
fix zulip topic URL
This commit is contained in:
Ralf Jung 2025-05-24 18:50:05 +00:00 • committed by GitHub
commit 8a7911019f
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
1 changed files with 1 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

2
src/tools/miri/tests/many-seeds/reentrant-lock.rs
View file

@ -1,6 +1,6 @@
#![feature(reentrant_lock)]
//! This is a regression test for
//! <https://rust-lang.zulipchat.com/#narrow/channel/269128-miri/topic/reentrant.20lock.20failure.20on.20musl>.
//! <https://rust-lang.zulipchat.com/#narrow/channel/269128-miri/topic/reentrant.20lock.20failure.20on.20mips>.
use std::cell::Cell;
use std::sync::ReentrantLock;