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


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