I’m seeing this:
Seeeduino:mbed@2.9.2
Replacing platform Seeeduino:mbed@2.9.1 with Seeeduino:mbed@2.9.2
Uninstalling Seeeduino:mbed@2.9.1
Platform Seeeduino:mbed@2.9.1 uninstalled
Uninstalling Seeeduino:openocd@0.11.0-arduino2, tool is no more required
Uninstalling Seeeduino:arm-none-eabi-gcc@7-2017q4, tool is no more required
Uninstalling Seeeduino:bossac@1.9.1-arduino2, tool is no more required
Uninstalling Seeeduino:dfu-util@0.10.0-arduino1, tool is no more required
Configuring platform.
Platform Seeeduino:mbed@2.9.2 installed
Interested in knowing what this addresses
Thankyou for commenting
GL