Updating ArduinoCore-mbed core

Libraries
1

Hello, I would like to request an update for the ArduinoCore-mbed core. The current version available in Platformio is 4.1.3, whereas the latest version is 4.1.5 on Github.

Could you please guide me on how to request this update? Is posting here sufficient, or is there another process I should follow?

2

File an issue in the platform that your board is situated in (e.g., platform-ststm32, platform-nordicnrf52, etc.)