From 8cfac5bb1d0f877bd8393a70c1e2524326d7842f Mon Sep 17 00:00:00 2001
From: Christian Grothoff <christian@grothoff.org>
Date: Fri, 3 Jul 2020 11:36:29 +0200
Subject: 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>
 
-- 
cgit v1.2.3