From a261fe9ece1a65ba2f0e2479e687026fb1215a5c Mon Sep 17 00:00:00 2001
From: Palmer Dabbelt <palmer@dabbelt.com>
Date: Thu, 12 Jul 2018 09:35:37 -0700
Subject: Move to the 2018.7.0 release of the tools

---
 openocd | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'openocd')

diff --git a/openocd b/openocd
index ab5a986..29d37f7 160000
--- a/openocd
+++ b/openocd
@@ -1 +1 @@
-Subproject commit ab5a98663ea50439ab4a6e40adfe0899cf95828f
+Subproject commit 29d37f75a977125127be2760be9e465d2da095ab
-- 
cgit v1.2.1-18-gbd029