diff options
author | Rikard Green <[email protected]> | 2018-05-18 11:22:33 +0200 |
---|---|---|
committer | Rikard Green <[email protected]> | 2018-05-18 11:22:33 +0200 |
commit | 2bc6ef5bb99ff1a7a4ac2a1370f0628acc730869 (patch) | |
tree | bc7816ec946c91d775666db0ce82addc67642344 /system | |
parent | f8de655b70b91d72d90e39afae3d5cbe2678c75a (diff) | |
parent | 0985a72500ecd46579f6f7462ff121cc2c015f1f (diff) | |
download | otp-2bc6ef5bb99ff1a7a4ac2a1370f0628acc730869.tar.gz otp-2bc6ef5bb99ff1a7a4ac2a1370f0628acc730869.tar.bz2 otp-2bc6ef5bb99ff1a7a4ac2a1370f0628acc730869.zip |
Merge branch 'rickard/delete_process_schedule/OTP-15081'
* rickard/delete_process_schedule/OTP-15081:
Do not hold runq lock while deleting a process
Diffstat (limited to 'system')
0 files changed, 0 insertions, 0 deletions