From 479a2c3a74d45e69d953370fc04b2f79124da24e Mon Sep 17 00:00:00 2001
From: MassimilianoPinto <massimiliano.pinto@mariadb.com>
Date: Tue, 10 Mar 2015 12:03:01 +0100
Subject: [PATCH] stdint.h added to config.h

stdint.h added to config.h
---
 server/include/config.h | 1 +
 1 file changed, 1 insertion(+)

diff --git a/server/include/config.h b/server/include/config.h
index 3648c97a0..ce10a03ae 100644
--- a/server/include/config.h
+++ b/server/include/config.h
@@ -18,6 +18,7 @@
  * Copyright MariaDB Corporation Ab 2013-2014
  */
 #include <skygw_utils.h>
+#include <stdint.h>
 #include <openssl/sha.h>
 /**
  * @file config.h The configuration handling elements