diff options
author | RĂ©mi Verschelde <remi@verschelde.fr> | 2022-09-03 18:23:45 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2022-09-03 18:23:45 +0200 |
commit | a653801b17adb41df6ada00a6ef50bff9fb5b6e8 (patch) | |
tree | cf361b3737a23179882cdce534978ad3ecd0d9a2 /thirdparty/meshoptimizer/patches | |
parent | 5d628e41080eefc9720dd0af7ea90f43f880387a (diff) | |
parent | 41eabca0fb63b8bc31ee448cb77b73aa0762dd8c (diff) |
Merge pull request #65285 from YuriSizov/window-theme-change-is-imminent
Un-defer the initial theme changed notification in `Window`
Diffstat (limited to 'thirdparty/meshoptimizer/patches')
0 files changed, 0 insertions, 0 deletions