diff options
author | Wladimir J. van der Laan <laanwj@gmail.com> | 2015-08-19 16:26:37 +0200 |
---|---|---|
committer | Wladimir J. van der Laan <laanwj@gmail.com> | 2015-08-19 16:27:40 +0200 |
commit | a6f2affde878d4f16aee6aa81b0d5cf36afdbf2d (patch) | |
tree | 587a8335fc63f6ba4ca7e78163f5fa35fb5b6f03 /src/utiltime.cpp | |
parent | e08a7d9d40b982a6ded3008398c542103f81209a (diff) | |
parent | fb08d92312312c6c896327d264a8e9915fdafae7 (diff) |
Merge pull request #6565
fb08d92 Make sure we re-acquire lock if a task throws (Casey Rodarmor)
Diffstat (limited to 'src/utiltime.cpp')
0 files changed, 0 insertions, 0 deletions