diff options
author | Sverker Eriksson <[email protected]> | 2019-02-19 15:16:38 +0100 |
---|---|---|
committer | Sverker Eriksson <[email protected]> | 2019-02-19 15:16:38 +0100 |
commit | 80b04507b0456a73f2f2f001691cadb4cb3958e8 (patch) | |
tree | faf7a6ca2e848d9d69895cb58cddcf8a7fbfed75 /system | |
parent | abd688e595b7c9daf4bd15b7792d83b5f52332d9 (diff) | |
parent | 750e9be58c7c245d49d6a7227b972bf0fd8c09ab (diff) | |
download | otp-80b04507b0456a73f2f2f001691cadb4cb3958e8.tar.gz otp-80b04507b0456a73f2f2f001691cadb4cb3958e8.tar.bz2 otp-80b04507b0456a73f2f2f001691cadb4cb3958e8.zip |
Merge branch 'sverker/heart-nice-exit/OTP-15599' into maint
* sverker/heart-nice-exit/OTP-15599:
erts: Avoid heart killing a nicely exiting emulator
Diffstat (limited to 'system')
0 files changed, 0 insertions, 0 deletions