| commit | 85a5bbc24a9311431c665eaa02f5dee09689fa37 | [log] [tgz] |
|---|---|---|
| author | Simon Butcher <simon.butcher@arm.com> | Sun Dec 02 13:22:20 2018 +0000 |
| committer | GitHub <noreply@github.com> | Sun Dec 02 13:22:20 2018 +0000 |
| tree | f214953771c5dba6e3309cd5b258cce931c27f7d | |
| parent | 4b6ef83a55b846420d5b706b0c6ab7932356a5e6 [diff] | |
| parent | 67301e894aa30313e3836c726caae75b461bc79a [diff] |
Merge pull request #542 from ARMmbed/version-2.1.17 Update the library version to 2.1.17