diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2020-07-31 21:42:50 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-07-31 21:42:50 +0200 |
| commit | be435608b0b1bb6ff3de10009ade5ec2017016d8 (patch) | |
| tree | 5b6c398f8be0e3c411b3ca0e106b5a93a4919621 /platform/android/java | |
| parent | 29df1919e1fe425dc6f9b68863c294cadd08a80e (diff) | |
| parent | a31b164071dd7af790d4b62057d9f9222285e59d (diff) | |
Merge pull request #40922 from opl-/fix/x11-size-hints
Fix losing X11 window normal size hint properties
Diffstat (limited to 'platform/android/java')
0 files changed, 0 insertions, 0 deletions