From: Ivan Grokhotkov Date: Tue, 21 Nov 2017 10:43:56 +0000 (+0800) Subject: Merge branch 'feature/bot' into 'master' X-Git-Tag: v3.1-dev~42 X-Git-Url: https://granicus.if.org/sourcecode?a=commitdiff_plain;h=6e1453e864304cf8d5cb16a4500355851ffecc61;p=esp-idf Merge branch 'feature/bot' into 'master' CI: support customize test with @bot See merge request !1502 --- 6e1453e864304cf8d5cb16a4500355851ffecc61