diff options
author | Aleksey Kladov <[email protected]> | 2018-09-08 10:36:02 +0100 |
---|---|---|
committer | Aleksey Kladov <[email protected]> | 2018-09-08 10:36:02 +0100 |
commit | 326ffcefe09906560a03d3184a2ce76841448702 (patch) | |
tree | ca6c3b738122d87ed849c757087b3b5a3b7c2048 /.gitignore | |
parent | d9ccebd913c767779e47f0c752e9f2f3dc35c080 (diff) |
Deal with deadlocks in a more principaled way
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions