diff options
author | Rickard Green <[email protected]> | 2019-06-17 11:31:01 +0200 |
---|---|---|
committer | Rickard Green <[email protected]> | 2019-06-17 11:31:01 +0200 |
commit | dfebec217a33b0171cb6586df32436e581740719 (patch) | |
tree | 3e8db9565604b4ecdfb48603b72af2088d9c911d /lib/jinterface/.settings | |
parent | 7fe7fa3dde556b5b92522f8279d465bb52baf1f6 (diff) | |
parent | 8e60fe7df9fa2ceaa4636495a9b75d495dc336e9 (diff) | |
download | otp-dfebec217a33b0171cb6586df32436e581740719.tar.gz otp-dfebec217a33b0171cb6586df32436e581740719.tar.bz2 otp-dfebec217a33b0171cb6586df32436e581740719.zip |
Merge branch 'rickard/dist-exit2/20/OTP-15867' into rickard/dist-exit2/21/OTP-15867
* rickard/dist-exit2/20/OTP-15867:
Don't disconnect on remote exit/2 with old incarnation as recipient
Diffstat (limited to 'lib/jinterface/.settings')
0 files changed, 0 insertions, 0 deletions