From: Michael Neuling 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