mirror of
https://github.com/MariaDB/server.git
synced 2025-08-31 22:22:30 +03:00
Correct to a true 2^14 rather than some different number that was actually just a number typo. Bug report thanks to Hartmut Holzgraefe.
Correct to a true 2^14 rather than some different number that was actually just a number typo. Bug report thanks to Hartmut Holzgraefe.