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 /lib/dialyzer/src | |
| 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 'lib/dialyzer/src')
0 files changed, 0 insertions, 0 deletions