From: Michael Neuling <mikey@neuling.org>
Date: Mon, 26 Sep 2022 06:47:15 +0000 (+1000)
Subject: Merge pull request #407 from shingarov/openocd-012
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=d9c55defdb3175e84a3fe1722cf6abca977484c0;p=microwatt.git

Merge pull request #407 from shingarov/openocd-012

Recognize version string "0.12" in recent OpenOCD master
---

d9c55defdb3175e84a3fe1722cf6abca977484c0