Hello, Milos Nikic, le jeu. 29 oct. 2026 21:26:38 -0700, a ecrit: > If you would like, I can send the instrumentation as a patch too, so > that these bugs show up quickly in the future, for example behind a > configure option such as --enable-mutex-debug.
Yes, that would be useful. Actually we could have a check target in the Makefile, that mounts some filesystem created on the fly, and performs a series of operations. Samuel
