gnunet-ext

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

include platform header

Diffstat:
M
src/ext/gnunet-service-ext.c
 | 
1
+

1 file changed, 1 insertion(+), 0 deletions(-)
diff --git 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>