additional edits to James’ code

Committer:
isagmz
Date:
Wed Jul 03 18:14:34 2019 +0000
Revision:
13:f9a20b88455c
Parent:
12:6efce6d008f8
additional edits

Who changed what in which revision?

UserRevisionLine numberNew contents of line
jahutchi 12:6efce6d008f8 1 https://github.com/ARMmbed/mbed-os/#50bd61a4a72332baa6b1bac6caccb44dc5423309