Mbed OS 5.9.3 release notes error

23 Jul 2018

The release notes for Mbed OS 5.9.3 say


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.