Merge pull request #12667 from neheb/ocd
authorRosen Penev <redacted>
Wed, 1 Jul 2020 08:43:49 +0000 (01:43 -0700)
committerGitHub <redacted>
Wed, 1 Jul 2020 08:43:49 +0000 (01:43 -0700)
openocd: fix compilation with GCC10


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