commit | fb1972db23da39bd11d4f9c9ea6266eee665605b | [log] [tgz] |
---|---|---|
author | Simon Butcher <simon.butcher@arm.com> | Fri Dec 21 12:20:49 2018 +0000 |
committer | GitHub <noreply@github.com> | Fri Dec 21 12:20:49 2018 +0000 |
tree | 19ccce843036bbe6be3ea133691c99c5b4463fd4 | |
parent | e046053ba1779ee0073fa70b4bd384e4e94ccdda [diff] | |
parent | 6c164e754b7acb82c1535184c9c79fbd545a7080 [diff] |
Merge pull request #544 from ARMmbed/version-2.16 Update the version of the library to 2.16.0