Merge pull request #3908 from paulfertser/openocd-0.10.0
authorHannu Nyman <hannu.nyman@iki.fi>
Fri, 10 Feb 2017 16:08:40 +0000 (18:08 +0200)
committerGitHub <noreply@github.com>
Fri, 10 Feb 2017 16:08:40 +0000 (18:08 +0200)
commitf924adb018665120e19cc4be3623693e2c9fac50
tree09e3cc3e7f9ab95ae74a0de0e54d6d248b8981c1
parent93c9a92d56db7e282167216058c5b502acf02dad
parent1d58e2797d5f6135314e90b4176ff76bd51c29b2
Merge pull request #3908 from paulfertser/openocd-0.10.0

openocd: bump version to 0.10.0