Merge pull request #10939 from jia200x/release/2018_10_1_version

2018.10.1: add VERSION
This commit is contained in:
Martine Lenders 2019-02-04 14:42:09 +01:00 committed by GitHub
commit 914b5a296b
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -1 +1 @@
RIOT_VERSION = 2018.10
RIOT_VERSION = 2018.10.1