diff options
| author | Juan Linietsky <reduzio@gmail.com> | 2023-01-20 14:04:55 +0100 |
|---|---|---|
| committer | Juan Linietsky <reduzio@gmail.com> | 2023-01-20 14:04:55 +0100 |
| commit | e01452adb0ac51bbbb0304773b1efd28ca1a3f2d (patch) | |
| tree | c92f5214cba36fe36c56dd89a89248156020428e /doc | |
| parent | 621e32971edc27bd1c2f3528534423a5a805d8e7 (diff) | |
Fix AltGR getting stuck on Windows right alt-tab
Fixes #28511.
Diffstat (limited to 'doc')
0 files changed, 0 insertions, 0 deletions