chiark / gitweb /
~ianmdlvl / otter.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 97b33dd) | patch
Mutex debug: Enable it (for demo and testing)
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Sun, 27 Mar 2022 22:31:03 +0000 (23:31 +0100)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Sun, 27 Mar 2022 23:50:50 +0000 (00:50 +0100)
commitf36c9dc24af1e1f7cdd687ab27799d6f6ad684cc
tree1ac7023b88a123d0f295054ed63af515dcd6e0e3tree | snapshot
parent97b33ddd9042ef4b7e03f3c1ebdd77517ab853e8commit | diff
Mutex debug: Enable it (for demo and testing)

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
src/prelude.rs diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.