diff options
| author | gingerBill <gingerBill@users.noreply.github.com> | 2023-12-05 16:04:25 +0000 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2023-12-05 16:04:25 +0000 |
| commit | 31b1aef44e1b0178f10f5faa62ceedddda56667b (patch) | |
| tree | c3701117afbd96e9ce0d03e0828227d029dd134c /src/checker.cpp | |
| parent | a8c09d77ffabe64e6a0e93191b0f317493307c04 (diff) | |
| parent | 65333181fc7753e535514fa750cf3fd72e873150 (diff) | |
Merge pull request #3003 from karl-zylinski/patch-1dev-2023-12
virtual arena: Actually use DEFAULT_ARENA_STATIC_RESERVE_SIZE as default value on arena_init_static
Diffstat (limited to 'src/checker.cpp')
0 files changed, 0 insertions, 0 deletions