mirror of https://github.com/ARMmbed/mbed-os.git
Fixup MBED_PATCH_VERSION
MBED_PATCH_VERSION should have been updated to 3 for this release.mbed-os-5.2 mbed_lib_rev130
parent
342e565214
commit
d5de476f74