diff options
author | Dan Gudmundsson <[email protected]> | 2018-01-22 12:09:29 +0100 |
---|---|---|
committer | Dan Gudmundsson <[email protected]> | 2018-01-22 12:09:29 +0100 |
commit | 8aa0a6aef5623ff226ea511b94b82e514dccc83b (patch) | |
tree | 92725c3a7027193979fa27bdc16bf15c2a727e91 /prebuild.delete | |
parent | 69de63049417cf7e047f035b5e086caad9dc7932 (diff) | |
parent | 9392f08642c8b74dc4fc9d32a6959174dfb673eb (diff) | |
download | otp-8aa0a6aef5623ff226ea511b94b82e514dccc83b.tar.gz otp-8aa0a6aef5623ff226ea511b94b82e514dccc83b.tar.bz2 otp-8aa0a6aef5623ff226ea511b94b82e514dccc83b.zip |
Merge branch 'dgud/observer/opt-tv-tab/OTP-14856' into maint
* dgud/observer/opt-tv-tab/OTP-14856:
observer: Fix change accum
Remove double calls
observer: Don't crash for late messages
observer: Optimize tv tab for many tables
Diffstat (limited to 'prebuild.delete')
0 files changed, 0 insertions, 0 deletions