diff options
author | Rickard Green <[email protected]> | 2016-08-31 14:29:25 +0200 |
---|---|---|
committer | Rickard Green <[email protected]> | 2016-08-31 14:29:25 +0200 |
commit | 451eb69edbe6c1b2ed53bcac18babda57e5f964c (patch) | |
tree | 6ab0a528a27a8c0437a01070ee64df9e8833af2d /prebuild.delete | |
parent | c1e1c7b4caeda9637691c062d5c1337afe7aeeab (diff) | |
parent | b71dde8bd94985f5953a1647802ac312a798fe69 (diff) | |
download | otp-451eb69edbe6c1b2ed53bcac18babda57e5f964c.tar.gz otp-451eb69edbe6c1b2ed53bcac18babda57e5f964c.tar.bz2 otp-451eb69edbe6c1b2ed53bcac18babda57e5f964c.zip |
Merge branch 'rickard/premature-timeout/OTP-13698' into maint
* rickard/premature-timeout/OTP-13698:
Improve accuracy of timeouts using premature timeouts
Diffstat (limited to 'prebuild.delete')
0 files changed, 0 insertions, 0 deletions