diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2019-12-11 08:42:41 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-12-11 08:42:41 +0100 |
| commit | f965ccee7bf83e34fd8d8cf2819f7ff73aef18de (patch) | |
| tree | 2085e13bbc9ca3cd16320364c0dd8673554cd17b /platform/x11/os_x11.h | |
| parent | 30cf60bb89fd89199308c66c5a769d5ea7557452 (diff) | |
| parent | 6f178a20616cdad6656c58d6b94aac556a5f77c4 (diff) | |
Merge pull request #34261 from timothyqiu/check-34255
Fixes infinite loop when switching editor
Diffstat (limited to 'platform/x11/os_x11.h')
0 files changed, 0 insertions, 0 deletions