diff options
author | Sverker Eriksson <[email protected]> | 2018-10-31 16:31:34 +0100 |
---|---|---|
committer | GitHub <[email protected]> | 2018-10-31 16:31:34 +0100 |
commit | fa6994f5c8384a15196121fce2983291c9c21245 (patch) | |
tree | 0b01c4e37ce21c5863d7607214ca097445ed673d /lib/tools/emacs/AUTHORS | |
parent | a03b0b0298208216481fdc2a373e5cda893535d2 (diff) | |
parent | cc18836780d7d047bf53b1ff8d94a6b31b58f98a (diff) | |
download | otp-fa6994f5c8384a15196121fce2983291c9c21245.tar.gz otp-fa6994f5c8384a15196121fce2983291c9c21245.tar.bz2 otp-fa6994f5c8384a15196121fce2983291c9c21245.zip |
Merge PR-1997 from sverker/erts/ordered_set-select-improvements/OTP-15325
Even more scalable ETS ordered_set with write_concurrency
Diffstat (limited to 'lib/tools/emacs/AUTHORS')
0 files changed, 0 insertions, 0 deletions