Update the Mbed OS version pointed at by this example's development branch to the Mbed OS development branch. This ensures that the development branch will build using the latest mbed-os after a checkout and deploy.
This may look like a duplicate, as we merged something very similar previously. However, the Mbed OS 6.5.0 release updated this mbed-os.lib file after our previous merge, so we need to update the file again. The release scripts are updated not to do this in the future.
Update the Mbed OS version pointed at by this example's development branch to the Mbed OS development branch. This ensures that the development branch will build using the latest mbed-os after a checkout and deploy.
This may look like a duplicate, as we merged something very similar previously. However, the Mbed OS 6.5.0 release updated this mbed-os.lib file after our previous merge, so we need to update the file again. The release scripts are updated not to do this in the future.