diff options
author | Erlang/OTP <[email protected]> | 2017-06-26 16:03:11 +0200 |
---|---|---|
committer | Erlang/OTP <[email protected]> | 2017-06-26 16:03:11 +0200 |
commit | 7c4ade37bf187db508d50bab92ac559f33a05934 (patch) | |
tree | cdc04ddfdb504a1f308b96164e4c8060c1c54cb7 /.gitignore | |
parent | 5f2d536cb2ad0447eca64d91755dd8a4549561ac (diff) | |
parent | 37faaedc1d7aedf66c29130794e8339b96c051d8 (diff) | |
download | otp-7c4ade37bf187db508d50bab92ac559f33a05934.tar.gz otp-7c4ade37bf187db508d50bab92ac559f33a05934.tar.bz2 otp-7c4ade37bf187db508d50bab92ac559f33a05934.zip |
Merge branch 'lukas/erts/fix_outputv_port_task_cleanup/ERL-428/OTP-14481' into maint-19
* lukas/erts/fix_outputv_port_task_cleanup/ERL-428/OTP-14481:
fixup! erts: Cleanup dropped port tasks correctly
erts: Add tests to detect port close race
erts: Cleanup dropped port tasks correctly
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions