Update runtime to version 18.08

Alexander Wilms · Alexander Wilms · commit 2936b7c062d2 · 2018-10-12T23:14:07.000+02:00
diff --git a/cc.arduino.arduinoide.json b/cc.arduino.arduinoide.json
@@ -1,7 +1,7 @@
 {
     "app-id": "cc.arduino.arduinoide",
     "runtime": "org.freedesktop.Platform",
-    "runtime-version": "1.6",
+    "runtime-version": "18.08",
     "sdk": "org.freedesktop.Sdk",
     "sdk-extensions": [
         "org.freedesktop.Sdk.Extension.openjdk10"

Original file line number	Diff line number	Diff line change
`@@ -1,7 +1,7 @@`
`1`	`1`	`{`
`2`	`2`	`"app-id": "cc.arduino.arduinoide",`
`3`	`3`	`"runtime": "org.freedesktop.Platform",`
`4`		`- "runtime-version": "1.6",`
	`4`	`+ "runtime-version": "18.08",`
`5`	`5`	`"sdk": "org.freedesktop.Sdk",`
`6`	`6`	`"sdk-extensions": [`
`7`	`7`	`"org.freedesktop.Sdk.Extension.openjdk10"`