Latest mbed 5.9

How can I get access to mbed 5.9 for STM32? When I build a new project using mbed, the new statistics for idle time structures do not compile. They compile fine using the mbed cli.

We don’t support mbed 5.9. yet. Please file a feature request here Issues · platformio/platform-ststm32 · GitHub