diff options
| author | Rickard Green <[email protected]> | 2012-12-18 14:57:35 +0100 |
|---|---|---|
| committer | Rickard Green <[email protected]> | 2012-12-18 14:57:35 +0100 |
| commit | 955d2f9dad5cedc25afb8dd7893f697f4f6f26a9 (patch) | |
| tree | 0e5963cf6f5af6ce48da50f4109f1334c3ff9b25 /lib/tools | |
| parent | 5b1e008c8a02d670e07d9eaccd80b28a22bdbc65 (diff) | |
| parent | fe6cac45c744ed2937e9905f779244d93142f2db (diff) | |
| download | otp-955d2f9dad5cedc25afb8dd7893f697f4f6f26a9.tar.gz otp-955d2f9dad5cedc25afb8dd7893f697f4f6f26a9.tar.bz2 otp-955d2f9dad5cedc25afb8dd7893f697f4f6f26a9.zip | |
Merge branch 'rickard/r16/port-optimizations/OTP-10336'
* rickard/r16/port-optimizations/OTP-10336:
Fix driver_monitor_process() ASSERT
Fix scheduled port link operation
Fix aborts of port tasks when terminating ports
Diffstat (limited to 'lib/tools')
0 files changed, 0 insertions, 0 deletions