diff options
| author | Michael Widenius <monty@mariadb.org> | 2018-04-11 11:46:27 +0300 |
|---|---|---|
| committer | Michael Widenius <monty@mariadb.org> | 2018-04-16 20:16:43 +0300 |
| commit | 1074b9b8beae100ec2acd3fbc56baab0b32d4b04 (patch) | |
| tree | ae5f6026aa8de428fe290d55fa9981bc82ef072b /BUILD | |
| parent | 3bae6a2b9886d185509dce0dacc489dda42152aa (diff) | |
| download | mariadb-git-1074b9b8beae100ec2acd3fbc56baab0b32d4b04.tar.gz | |
Ensure that max_local_memory_used is initialized
Diffstat (limited to 'BUILD')
0 files changed, 0 insertions, 0 deletions