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


Trivial merge