From: Angus Gratton <angus@espressif.com>
Date: Tue, 30 Jul 2019 04:51:05 +0000 (+0800)
Subject: Merge branch 'maint/update_tool_openocd-v0.10.0-esp32-20190708' into 'master'
X-Git-Tag: v4.1-dev~42
X-Git-Url: https://granicus.if.org/sourcecode?a=commitdiff_plain;h=3b42e173e9ea57c42952f5c89db5042fde1ababc;p=esp-idf

Merge branch 'maint/update_tool_openocd-v0.10.0-esp32-20190708' into 'master'

tools: Update recommended OpenOCD version to v0.10.0-esp32-20190708

See merge request espressif/esp-idf!5565
---

3b42e173e9ea57c42952f5c89db5042fde1ababc