diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2018-07-25 21:01:10 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-07-25 21:01:10 +0200 |
| commit | cbf85ea74328391c325cfc10908f9e05f26d3540 (patch) | |
| tree | 2288c469384e83d9e36302c54a5301d5334d1e5a /thirdparty | |
| parent | 19fe78fe6fe2aa3b8a0d8009a5a47d75c3242a92 (diff) | |
| parent | 6696b16685b06da1415057da6657cae4694dfb52 (diff) | |
Merge pull request #20456 from Paulb23/issue_20429_fix_right_click_crash
Fix crash on doc right click, issue 20429
Diffstat (limited to 'thirdparty')
0 files changed, 0 insertions, 0 deletions