diff --git a/VERSION b/VERSION new file mode 100644 index 000000000000..3e8d05a23fcd --- /dev/null +++ b/VERSION @@ -0,0 +1 @@ +RIOT_VERSION = 2019.04