Open
Description
The Mbed version info is stored in this file: https://github.com/mbed-ce/mbed-os/blob/master/platform/include/platform/mbed_version.h
We should probably change it so that it's different from mainline Mbed. Since there are some breaking changes in Mbed CE (and others yet to be made, like #13), should we change it to 7.0.0? Or should we change it to like 6.99 until the breaking changes are mostly over with, and then change it to 7.0.0?
Also, we should fix the "99 is default value for development version" comments in that header file, they are not correct.