diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2017-04-04 00:22:44 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2017-04-04 00:22:44 +0200 |
| commit | 57badfd1df3a554b7f47793e73a887874e5ca2b1 (patch) | |
| tree | 421d5cd1a3a45c7a99018fc1469c28b1ebfe59c1 /core | |
| parent | 4d3ed11212c779a1c340916dee47b2021382047f (diff) | |
| parent | ea4fbee8f2778bc864cb930c69016cb175812da7 (diff) | |
Merge pull request #8251 from cynicaldevil/master
Previous value of time_left is added to wait_time before assigning to time_left
Diffstat (limited to 'core')
0 files changed, 0 insertions, 0 deletions