diff options
author | Björn Gustavsson <[email protected]> | 2017-02-15 10:13:21 +0100 |
---|---|---|
committer | GitHub <[email protected]> | 2017-02-15 10:13:21 +0100 |
commit | d09bb6b2bdfc32dfb10c051f9e3e3c32a806cfb4 (patch) | |
tree | eb3861b8a088b20f538b592bf69b4661b0651c27 /erts | |
parent | 0dfe26c8747362f954bbee4c8a99160af9adf5a5 (diff) | |
parent | 4bf5cb8aec7680a51a99a92ce124ca270c9b5895 (diff) | |
download | otp-d09bb6b2bdfc32dfb10c051f9e3e3c32a806cfb4.tar.gz otp-d09bb6b2bdfc32dfb10c051f9e3e3c32a806cfb4.tar.bz2 otp-d09bb6b2bdfc32dfb10c051f9e3e3c32a806cfb4.zip |
Merge pull request #1340 from josevalim/jv-erl-expand-records-to-maps
Use maps instead of dict in erl_expand_records
Diffstat (limited to 'erts')
0 files changed, 0 insertions, 0 deletions