diff options
author | Björn Gustavsson <[email protected]> | 2017-06-14 06:53:55 +0200 |
---|---|---|
committer | Björn Gustavsson <[email protected]> | 2017-06-14 06:53:55 +0200 |
commit | ae27396d10508b21d1de6a7d347b98f3259fa507 (patch) | |
tree | 5d99f477c0de5701a9bb8488fb85dac5b4a8c5a2 /.gitignore | |
parent | 3a58b85081413df01256841e7e286828cf7e6e35 (diff) | |
parent | 4179fda36587ea42d79a7222eb358e4ca3fbcfab (diff) | |
download | otp-ae27396d10508b21d1de6a7d347b98f3259fa507.tar.gz otp-ae27396d10508b21d1de6a7d347b98f3259fa507.tar.bz2 otp-ae27396d10508b21d1de6a7d347b98f3259fa507.zip |
Merge branch 'bjorn/compiler/fix-invalid-orddict'
* bjorn/compiler/fix-invalid-orddict:
v3_kernel: Keep orddicts sorted
sys_core_fold: Ensure that orddict keys are unique
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions