diff options
| author | Juan Linietsky <reduzio@gmail.com> | 2017-08-20 23:59:44 -0300 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2017-08-20 23:59:44 -0300 |
| commit | d8cd849a431db4b5a5d8d61161062ca7cf101220 (patch) | |
| tree | 19810b473d961742c33ceb411984b76b1fc912c3 /platform | |
| parent | 533014b88c964044441dc04dce6e757b0776de97 (diff) | |
| parent | 0017e21521f6f0feecabc4bae2c72a66c780583b (diff) | |
Merge pull request #10492 from Rubonnek/fix-segfault-on-arch-linux
Fixed segfault when hovering over tree elements and showing tooltips.
Diffstat (limited to 'platform')
0 files changed, 0 insertions, 0 deletions