1
0
mirror of https://github.com/MariaDB/server.git synced 2025-08-08 11:22:35 +03:00

System Versioning 1.0pre2

Merge branch '10.3' into trunk
This commit is contained in:
Aleksey Midenkov
2017-11-23 18:57:26 +03:00
104 changed files with 2571 additions and 5172 deletions

View File

@@ -22,7 +22,6 @@
#ifndef _m_string_h
#define _m_string_h
#include "my_global.h" /* HAVE_* */
#include "my_decimal_limits.h"
#ifndef __USE_GNU