[gnunet-ext] 01/02: include platform header

[gnunet]

This is an automated email from the git hooks/post-receive script.

grothoff pushed a commit to branch master
in repository gnunet-ext.

commit 8cfac5bb1d0f877bd8393a70c1e2524326d7842f
Author: Christian Grothoff <christian@grothoff.org>
AuthorDate: Fri Jul 3 11:36:29 2020 +0200

    include platform header
---
 src/ext/gnunet-service-ext.c | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/ext/gnunet-service-ext.c b/src/ext/gnunet-service-ext.c
index d172eb2..d434182 100644
--- a/src/ext/gnunet-service-ext.c
+++ b/src/ext/gnunet-service-ext.c
@@ -23,6 +23,7 @@
  * @brief ext service implementation
  * @author Christian Grothoff
  */
+#include <gnunet/platform.h>
 #include "gnunet_ext_config.h"
 #include <stddef.h>
 

-- 
To stop receiving notification emails like this one, please contact
gnunet@gnunet.org.