Merge pull request #8089 from ja-pa/openocd-security-fix
authorRosen Penev <redacted>
Mon, 1 Apr 2019 10:47:42 +0000 (03:47 -0700)
committerGitHub <redacted>
Mon, 1 Apr 2019 10:47:42 +0000 (03:47 -0700)
openocd: patch security issue


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