]> granicus.if.org Git - esp-idf/commitdiff
Merge branch 'bugfix/ci_wrong_getting_sources' into 'master'
authorAnton Maklakov <anton@espressif.com>
Thu, 6 Jul 2017 10:43:53 +0000 (18:43 +0800)
committerAnton Maklakov <anton@espressif.com>
Thu, 6 Jul 2017 10:43:53 +0000 (18:43 +0800)
Fix the getting sources

See merge request !953


Trivial merge