diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2020-07-31 19:16:42 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-07-31 19:16:42 +0200 |
| commit | 970ce06b34bcf44e6c86ab045c738776cd94c8bd (patch) | |
| tree | a3fce858b5dc83c64614df63e3ab13d06fe4f30b /core/pool_allocator.h | |
| parent | 5d880bf7db7f46b1509bbe3ed704ea8acbf8e151 (diff) | |
| parent | 48d55e46d064900074848988ed30fcff2214ece1 (diff) | |
Merge pull request #40923 from opl-/fix/update-window-size
Fix window max_size acting as min_size
Diffstat (limited to 'core/pool_allocator.h')
0 files changed, 0 insertions, 0 deletions