]> granicus.if.org Git - esp-idf/commitdiff
Merge branch 'revert-faad2923' into 'master'
authorIvan Grokhotkov <ivan@espressif.com>
Tue, 8 Nov 2016 10:48:11 +0000 (18:48 +0800)
committerIvan Grokhotkov <ivan@espressif.com>
Tue, 8 Nov 2016 10:48:11 +0000 (18:48 +0800)
Revert feature/ci_checkout_same_branch_for_submodule

This reverts merge request !178

See merge request !184


Trivial merge