mirror of
https://github.com/MariaDB/server.git
synced 2025-01-17 20:42:30 +01:00
merged 5.0 main -> 5.0-5.1.29-rc
This commit is contained in:
commit
0b6eee262f
2 changed files with 6 additions and 1 deletions
|
@ -1,4 +1,4 @@
|
|||
[MYSQL]
|
||||
post_commit_to = "commits@lists.mysql.com"
|
||||
post_push_to = "commits@lists.mysql.com"
|
||||
tree_name = "mysql-5.0-bugteam"
|
||||
tree_name = "mysql-5.0"
|
||||
|
|
|
@ -7,6 +7,11 @@
|
|||
|
||||
/* @(#) $Id$ */
|
||||
|
||||
/* Need to be included "early" to control other headers */
|
||||
#ifdef HAVE_CONFIG_H
|
||||
#include <config.h>
|
||||
#endif
|
||||
|
||||
#include <stdio.h>
|
||||
|
||||
#include "zutil.h"
|
||||
|
|
Loading…
Reference in a new issue