Merge pull request #10975 from paulfertser/bump-openocd
authorMirko Vogt <redacted>
Fri, 10 Jan 2020 17:38:43 +0000 (18:38 +0100)
committerGitHub <redacted>
Fri, 10 Jan 2020 17:38:43 +0000 (18:38 +0100)
openocd: update to current master, allow building without USB


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