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)
commitcc86cff2a0a85c20dc2fe2d65d1d7f087db41dac
treed3d8b209f025a80115e8d6464e2ba1ec30034bb6
parent9d8c5873febbdf83e58f4720d8b20a5eb69ad646
parent9a07474e138f38cbd1c8b6c3bf8861e625c93c35
Merge pull request #15046 from paulfertser/openocd-update-to-0-11-0

openocd: update to 0.11.0