diff options
author | Siri Hansen <[email protected]> | 2013-03-27 14:58:01 +0100 |
---|---|---|
committer | Siri Hansen <[email protected]> | 2013-03-27 14:58:01 +0100 |
commit | ca333ac936081cf39137bb657383c4f06ad809d3 (patch) | |
tree | 773a1f21436050cdda14bbd1489ba878653f2dd4 /otp_build | |
parent | def9f08b475c24f65980b0b1efcf39f7ed7064c9 (diff) | |
parent | 42c31ab4bfcd74d7139f90ea1b03a35048cacef6 (diff) | |
download | otp-ca333ac936081cf39137bb657383c4f06ad809d3.tar.gz otp-ca333ac936081cf39137bb657383c4f06ad809d3.tar.bz2 otp-ca333ac936081cf39137bb657383c4f06ad809d3.zip |
Merge branch 'siri/cover/hanging-proc/OTP-10979' into maint
* siri/cover/hanging-proc/OTP-10979:
[cover] Ensure no process leak when stopping cover on dead node
Diffstat (limited to 'otp_build')
0 files changed, 0 insertions, 0 deletions