chiark / gitweb /
Mutex debug: Actually add some debug messages.
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Sun, 27 Mar 2022 12:54:15 +0000 (13:54 +0100)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Sun, 27 Mar 2022 23:50:50 +0000 (00:50 +0100)
commitfff23a4897816cfd40be6d8a1c6ad8c97add9581
tree7f0b178b6b6e61c0de7de53b55d02018beb84eb6
parent87e8cdc3292db7db17ba3497ee651a51e3b80155
Mutex debug: Actually add some debug messages.

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
src/debugmutex.rs