Merge branch 'develop' into kill-seen-region

2016-09-16 17:12:40 +02:00 · 2016-09-16 17:12:40 +02:00 · 6fed596c36
commit 6fed596c36
parent ad4377c0e7 1dac556d09
1 changed files with 1 additions and 0 deletions
--- a/src/kernel/version.c
+++ b/src/kernel/version.c
@ -1,3 +1,4 @@
+#include <platform.h>
 #include "version.h"

 #include <stdio.h>