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


Trivial merge