diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2020-11-20 09:44:30 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-11-20 09:44:30 +0100 |
| commit | 68ddab547b6c67d6102297d83ef71487050e85e0 (patch) | |
| tree | 9c99a0796afadec29949a7b5a42fced9cf9a0799 /doc/tools | |
| parent | 6a683f80169850d1138c38f7182bdcadf4dafd10 (diff) | |
| parent | afcb6f38db9c313328130b6632073cda7f3b98e0 (diff) | |
Merge pull request #43703 from Xrayez/premature-timer
Do not start `Timer` upon manual switching of internal process
Diffstat (limited to 'doc/tools')
0 files changed, 0 insertions, 0 deletions