1
0
mirror of https://github.com/MariaDB/server.git synced 2025-07-29 05:21:33 +03:00

Fixing compilation error. Post push fix for Bug#17909656

This commit is contained in:
Chaithra Gopalareddy
2014-05-07 16:55:03 +05:30
parent 5fa8e768ca
commit 32ae29df83