diff options
| author | Loïc Blot <nerzhul@users.noreply.github.com> | 2017-10-10 12:27:08 +0200 |
|---|---|---|
| committer | SmallJoker <mk939@ymail.com> | 2018-06-03 17:31:59 +0200 |
| commit | 0129c9a9dd149f4e5efaed1879c1c3058cbc4d70 (patch) | |
| tree | 70985e417af22c652c5e7742bbd426b97ec1e967 /builtin/profiler/reporter.lua | |
| parent | 9dc1f2d638ddde253fbfac26c856b5da4ea1495f (diff) | |
| download | minetest-0129c9a9dd149f4e5efaed1879c1c3058cbc4d70.tar.gz minetest-0129c9a9dd149f4e5efaed1879c1c3058cbc4d70.tar.bz2 minetest-0129c9a9dd149f4e5efaed1879c1c3058cbc4d70.zip | |
Thread: fix a crash on Windows due to data race condition on Thread::m_start_finished_mutex (#6515)
Diffstat (limited to 'builtin/profiler/reporter.lua')
0 files changed, 0 insertions, 0 deletions