Merge "Improve external/fetch_sources.py"
authorPyry Haulos <phaulos@google.com>
Thu, 17 Sep 2015 16:57:35 +0000 (16:57 +0000)
committerAndroid (Google) Code Review <android-gerrit@google.com>
Thu, 17 Sep 2015 16:57:35 +0000 (16:57 +0000)

Trivial merge