diff options
author | Siri Hansen <[email protected]> | 2017-05-19 16:18:03 +0200 |
---|---|---|
committer | GitHub <[email protected]> | 2017-05-19 16:18:03 +0200 |
commit | 881daeb486c9419302da15f571af79b9eb627678 (patch) | |
tree | 1b21b16cc9c14cf78f4c9ed30f302bd8165a8736 /erts/etc/common | |
parent | a237426d43b73d931739d9acb86a17513b44ed3e (diff) | |
parent | 52ace0d2c565a67e587159780114792c55244312 (diff) | |
download | otp-881daeb486c9419302da15f571af79b9eb627678.tar.gz otp-881daeb486c9419302da15f571af79b9eb627678.tar.bz2 otp-881daeb486c9419302da15f571af79b9eb627678.zip |
Merge pull request #1448 from josevalim/jv-gen-server-exits
Do not discard stacktraces on gen_server exits
Diffstat (limited to 'erts/etc/common')
0 files changed, 0 insertions, 0 deletions