Enhancement - exporter/cdt#4828

theotherjimmy merged 3 commits intoARMmbed:masterARMmbed/mbed-os:masterfrom

alzix:enhancement/exporter/cdtalzix/mbed-os:enhancement/exporter/cdtCopy head branch name to clipboard