bors ab33f71a8b Auto merge of #95727 - m-ou-se:futex-reentrantmutex, r=Amanieu
Replace ReentrantMutex by a futex-based one on Linux.

Tracking issue: https://github.com/rust-lang/rust/issues/93740

r? `@Amanieu`
2022-04-13 13:42:19 +00:00
..
2022-03-18 15:46:49 -07:00
2022-04-07 08:51:59 +01:00
2022-01-28 15:01:07 +01:00
2022-04-12 08:44:39 +02:00
2022-04-05 23:18:40 +02:00
2022-04-05 23:18:40 +02:00
2022-04-05 23:18:40 +02:00
2022-04-05 08:14:13 +01:00