Merge pull request #3908 from paulfertser/openocd-0.10.0
authorHannu Nyman <redacted>
Fri, 10 Feb 2017 16:08:40 +0000 (18:08 +0200)
committerGitHub <redacted>
Fri, 10 Feb 2017 16:08:40 +0000 (18:08 +0200)
openocd: bump version to 0.10.0


Trivial merge
git clone https://git.99rst.org/PROJECT