diff options
| author | Rickard Green <[email protected]> | 2018-03-13 18:41:58 +0100 |
|---|---|---|
| committer | Rickard Green <[email protected]> | 2018-03-13 18:41:58 +0100 |
| commit | 348a4e057db36fac13f1551c0a1c17f0d376da48 (patch) | |
| tree | da91617626a3793c508ab829d8f19a9b754c7040 /.gitignore | |
| parent | dfd7a2956a465dccd754243e3b1bf5c24931132e (diff) | |
| parent | d0573e3e497337e13f4685de4b455817dfb601b7 (diff) | |
| download | otp-348a4e057db36fac13f1551c0a1c17f0d376da48.tar.gz otp-348a4e057db36fac13f1551c0a1c17f0d376da48.tar.bz2 otp-348a4e057db36fac13f1551c0a1c17f0d376da48.zip | |
Merge branch 'rickard/dirty-work-gone/OTP-14978'
* rickard/dirty-work-gone/OTP-14978:
Reschedule on ordinary scheduler if dirty work is gone
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions