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)
commita841e344574d57f3097592838f427dffe8dfa262
tree0fa9ba418754c7d21221c2a820afda4f0963fdf2
parentb87645ad01d6a59a662ba14cac02e134fd13b522
parent37d0627bd66cc2f1e7315e8b2f6b09d38ca168b1
Merge pull request #5139 from lynxis/rb_openocd

openocd: use release tar.bz2 instead of git