Bump platform version for added features.

2021-02-07 17:33:07 +02:00
parent 0688000585
commit b809fbbaa0
1 changed files with 1 additions and 1 deletions
@@ -10,4 +10,4 @@
 # hardcoded milestones in the tree from these two files.
 #--------------------------------------------------------

-4.7.0
+4.8.0