mirror of
https://github.com/MariaDB/server.git
synced 2025-01-19 13:32:33 +01:00
Merge branch 'master' into releases/tokudb-7.5
This commit is contained in:
commit
447a794985
1 changed files with 1 additions and 0 deletions
|
@ -92,6 +92,7 @@ PATENT RIGHTS GRANT:
|
|||
#pragma implementation // gcc: Class implementation
|
||||
#endif
|
||||
|
||||
#include <my_config.h>
|
||||
extern "C" {
|
||||
#include "stdint.h"
|
||||
#define __STDC_FORMAT_MACROS
|
||||
|
|
Loading…
Reference in a new issue