From: Ivan Grokhotkov Date: Mon, 18 Sep 2017 11:32:39 +0000 (+0800) Subject: Merge branch 'feature/toolchain-update' into 'master' X-Git-Tag: v3.1-dev~254 X-Git-Url: https://granicus.if.org/sourcecode?a=commitdiff_plain;h=3924594aed7f44a09b6137479ca1ca18d138c310;p=esp-idf Merge branch 'feature/toolchain-update' into 'master' make,docs: update toolchain See merge request !1269 --- 3924594aed7f44a09b6137479ca1ca18d138c310