This is a copy of an existing PR (#774), moving the documentation added there into the index alongside other global options --mutex and --verbose.
It's been a while and this feature remains undocumented, which is a shame because it's a very useful one. This has also been discussed in the issue and I think this PR provides a good solution.
Closes #651
This is a copy of an existing PR (#774), moving the documentation added there into the index alongside other global options
--mutexand--verbose.It's been a while and this feature remains undocumented, which is a shame because it's a very useful one. This has also been discussed in the issue and I think this PR provides a good solution.