Updating mbed-os to mbed-os-5.13.1#19

AndrzejKurek merged 1 commit intombed-os-5.13ARMmbed/mbed-os-example-attestation:mbed-os-5.13from

release-candidateARMmbed/mbed-os-example-attestation:release-candidateCopy head branch name to clipboard