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/snmp/doc/man3/.gitignore | |
| 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/snmp/doc/man3/.gitignore')
0 files changed, 0 insertions, 0 deletions