Mbed OS 5.9.3 release notes error

23 Jul 2018

The release notes for Mbed OS 5.9.3 say

Quote:

In this release, we have enabled the ability to determine the Mbed OS release version from within compiled code.

Unless I'm missing something, this capability already existed. The MBED_*_VERSION #defines were just moved to platform/mbed_version.h.