Merge pull request #5139 from lynxis/rb_openocd
authorTed Hess <redacted>
Sat, 2 Dec 2017 00:07:30 +0000 (19:07 -0500)
committerGitHub <redacted>
Sat, 2 Dec 2017 00:07:30 +0000 (19:07 -0500)
openocd: use release tar.bz2 instead of git


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