Merge pull request #10975 from paulfertser/bump-openocd
authorMirko Vogt <mirko-dev@nanl.de>
Fri, 10 Jan 2020 17:38:43 +0000 (18:38 +0100)
committerGitHub <noreply@github.com>
Fri, 10 Jan 2020 17:38:43 +0000 (18:38 +0100)
commitd1cc51cd1a428b0e07fe72ef8b21f91f4117e034
tree00a5b182b57be6fb0ea71a3c69ca0e77e9175230
parenta1500cec8611ba5ff6ffcdd3b58fb874917b8461
parentdb10b426b13d00ecec725110140ff17f7fde910a
Merge pull request #10975 from paulfertser/bump-openocd

openocd: update to current master, allow building without USB