diff options
| author | Dan Gudmundsson <[email protected]> | 2018-12-07 13:21:04 +0100 |
|---|---|---|
| committer | Dan Gudmundsson <[email protected]> | 2018-12-07 13:21:04 +0100 |
| commit | d65ccad5d6bc71fda09ce6bf3a220a536a9a6b62 (patch) | |
| tree | 29a3bbea95f446feece021bca920b377904acef6 /lib/tools/info | |
| parent | 95f796a108c74ae133cf891c678408d001eaee47 (diff) | |
| parent | 1ec09d6d239194689a95a0f0111d751d9a57e407 (diff) | |
| download | otp-d65ccad5d6bc71fda09ce6bf3a220a536a9a6b62.tar.gz otp-d65ccad5d6bc71fda09ce6bf3a220a536a9a6b62.tar.bz2 otp-d65ccad5d6bc71fda09ce6bf3a220a536a9a6b62.zip | |
Merge branch 'dgud/wx/perf-imp' into maint
* dgud/wx/perf-imp:
Don't try to wake up wx thread when not necessary
Diffstat (limited to 'lib/tools/info')
0 files changed, 0 insertions, 0 deletions