additional edits to James’ code

mbed-os.lib

Committer:
isagmz
Date:
2019-07-03
Revision:
13:f9a20b88455c
Parent:
12:6efce6d008f8

File content as of revision 13:f9a20b88455c:

https://github.com/ARMmbed/mbed-os/#50bd61a4a72332baa6b1bac6caccb44dc5423309