diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2020-01-16 12:32:52 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-01-16 12:32:52 +0100 |
| commit | fc2550c4c8e9ca4ee7378af0330544695d04d6c8 (patch) | |
| tree | f8c280657fdb70b44c809d3a0a1b1e25533687a9 /misc/travis | |
| parent | 613503755103b6195488992f922dffedf2258a2a (diff) | |
| parent | 71b4b180bae83f47ad32dacfc64818d80ba91f2b (diff) | |
Merge pull request #35123 from asynts/asynts.crash-on-double-click
Prevent crash described in #34555.
Diffstat (limited to 'misc/travis')
0 files changed, 0 insertions, 0 deletions