diff options
author | Erlang/OTP <[email protected]> | 2017-08-25 09:35:55 +0200 |
---|---|---|
committer | Erlang/OTP <[email protected]> | 2017-08-25 09:35:55 +0200 |
commit | f58abbbb6e3f50e76b7a355b0f1b062cb30b8d3a (patch) | |
tree | 570a570865d642b9bd47d291a881cdba3fb4dd0c /erts | |
parent | 41878bba817fc2ec9e08529afe19c2655742dbd1 (diff) | |
parent | 94584953199d3fd22b5f89f59a430396fcffcfd1 (diff) | |
download | otp-f58abbbb6e3f50e76b7a355b0f1b062cb30b8d3a.tar.gz otp-f58abbbb6e3f50e76b7a355b0f1b062cb30b8d3a.tar.bz2 otp-f58abbbb6e3f50e76b7a355b0f1b062cb30b8d3a.zip |
Merge branch 'hasse/dialyzer/fix_merge_plts/ERIERL-53/OTP-14558' into maint-20
* hasse/dialyzer/fix_merge_plts/ERIERL-53/OTP-14558:
dialyzer: Fix a bug where merging PLT:s could lose info
Diffstat (limited to 'erts')
0 files changed, 0 insertions, 0 deletions