Hitchhiker's Guide to Printf in Mbed 6

[boraozgen (Bora Özgen)]

This is not required. See mbed-os/mbed_retarget.h at 96e19afdd196c6c99edd58fddd44e2c691cdca2f · ARMmbed/mbed-os · GitHub

Another inadequately documented feature of Mbed.