Closed rajkan01 closed 4 years ago
This PR has a commit "Merge pull request #16 from ARMmbed/development" which is on master instead of development. Maybe this PR can be rebased onto development so we can get rid of that commit, but it's not a big problem though.