Update mbed version #3
Description
Look into "Managing Multiple Projects" (https://os.mbed.com/docs/mbed-os/v5.13/tools/working-with-mbed-cli.html) to reduce disk usage.
{{ message }}
Look into "Managing Multiple Projects" (https://os.mbed.com/docs/mbed-os/v5.13/tools/working-with-mbed-cli.html) to reduce disk usage.