]> granicus.if.org Git - esp-idf/commitdiff
Merge branch 'fix/ci_deps_optimize' into 'master'
authorAnton Maklakov <anton@espressif.com>
Mon, 19 Jun 2017 08:19:49 +0000 (16:19 +0800)
committerAnton Maklakov <anton@espressif.com>
Mon, 19 Jun 2017 08:19:49 +0000 (16:19 +0800)
Optimize CI dependences

See merge request !851


Trivial merge