projects / microwatt.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: d3fb263 ed58073)
Merge pull request #407 from shingarov/openocd-012
authorMichael Neuling <mikey@neuling.org>
Mon, 26 Sep 2022 06:47:15 +0000 (16:47 +1000)
committerGitHub <noreply@github.com>
Mon, 26 Sep 2022 06:47:15 +0000 (16:47 +1000)
Recognize version string "0.12" in recent OpenOCD master


Trivial merge