Merge pull request #15046 from paulfertser/openocd-update-to-0-11-0
authorRosen Penev <rosenp@gmail.com>
Tue, 9 Mar 2021 03:59:39 +0000 (19:59 -0800)
committerGitHub <noreply@github.com>
Tue, 9 Mar 2021 03:59:39 +0000 (19:59 -0800)
openocd: update to 0.11.0


Trivial merge