diff options
| author | bunnei <bunneidev@gmail.com> | 2020-07-09 15:33:41 -0400 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-07-09 15:33:41 -0400 |
| commit | 83b1b259bd88af4ff699813fb179e7e96238da9c (patch) | |
| tree | b0e3189dcd07b4bd5e09901408b56ec9c018b685 /src/core/core.cpp | |
| parent | 77bdd09aa204e1e424d9b6b4d846301ab8dc892e (diff) | |
| parent | 8562b516c0e3fa25a65e440db29cd474c0cbb896 (diff) | |
Merge pull request #4202 from ReinUsesLisp/scoped-lock
core_timing,scheduler: Use std::scoped_lock when possible
Diffstat (limited to 'src/core/core.cpp')
0 files changed, 0 insertions, 0 deletions