diff options
author | Hans Bolinder <[email protected]> | 2017-09-12 14:49:53 +0200 |
---|---|---|
committer | Hans Bolinder <[email protected]> | 2017-09-12 14:49:53 +0200 |
commit | 4bfca4eed77e53ba1042b2fdc1e63993b44696e1 (patch) | |
tree | f3c88a29093b2b0e8dec7412c3184826139013c7 /prebuild.delete | |
parent | b6fc9a3964a564ac857838243d8e06ccdb904d5e (diff) | |
parent | fbed19107051cb0830434a8ffe09f16e0ddbd944 (diff) | |
download | otp-4bfca4eed77e53ba1042b2fdc1e63993b44696e1.tar.gz otp-4bfca4eed77e53ba1042b2fdc1e63993b44696e1.tar.bz2 otp-4bfca4eed77e53ba1042b2fdc1e63993b44696e1.zip |
Merge branch 'hasse/dialyzer/fix_merge_plts/ERIERL-53/OTP-14558' into maint
* hasse/dialyzer/fix_merge_plts/ERIERL-53/OTP-14558:
dialyzer: Do not fix ETS tables when merging PLTs
Diffstat (limited to 'prebuild.delete')
0 files changed, 0 insertions, 0 deletions