diff options
author | 2018-02-12 15:22:34 -0800 | |
---|---|---|
committer | 2018-02-12 15:22:34 -0800 | |
commit | 4fa4937bfad757de73c5732583928d6202adb5fa (patch) | |
tree | 6c9d65103116422db9dc72371c093eb064793c5e /.vscode | |
parent | fb369d95677b85995071e8255230c8bd7e291216 (diff) |
Destroy the pollset mutex created in pollset_init
(Manually backporting the fix by Mike Burrows)
Diffstat (limited to '.vscode')
0 files changed, 0 insertions, 0 deletions