diff options
author | Siri Hansen <[email protected]> | 2016-05-25 10:29:18 +0200 |
---|---|---|
committer | Siri Hansen <[email protected]> | 2016-05-25 10:29:18 +0200 |
commit | c126081ca43145412f72a1b5cbae6919c22de28e (patch) | |
tree | 08bcc80af6e069b21458e8a02713656bd7c053a9 /prebuild.skip | |
parent | 90bd9b2921f61854771ba2924abd05fa32d46b1f (diff) | |
parent | 44d5789619c70863af918ee5e2bdd7d411e68e80 (diff) | |
download | otp-c126081ca43145412f72a1b5cbae6919c22de28e.tar.gz otp-c126081ca43145412f72a1b5cbae6919c22de28e.tar.bz2 otp-c126081ca43145412f72a1b5cbae6919c22de28e.zip |
Merge branch 'josevalim/supervisor-try-again-restart/PR-1001/OTP-13618'
* josevalim/supervisor-try-again-restart/PR-1001/OTP-13618:
Avoid potential timer bottleneck on supervisor restart
Diffstat (limited to 'prebuild.skip')
0 files changed, 0 insertions, 0 deletions