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)
commitd9c55defdb3175e84a3fe1722cf6abca977484c0
tree407cc3bf1ed7194733080eaacd350a8b293036a3
parentd3fb2639dd375fb65a3cce20e44fba2bf28b443d
parented5807381e3ffa88d589cda8490387e8d23b9ca6
Merge pull request #407 from shingarov/openocd-012

Recognize version string "0.12" in recent OpenOCD master