[automerger skipped] Merge "DO NOT MERGE: Merge remote-tracking branch 'khronos/vulka...
authorandroid-build-prod (mdb) <android-build-team-robot@google.com>
Mon, 30 Apr 2018 17:39:59 +0000 (10:39 -0700)
committerandroid-build-merger <android-build-merger@google.com>
Mon, 30 Apr 2018 17:39:59 +0000 (10:39 -0700)
am: c78fc14ea5  -s ours

Change-Id: Ib2acbf2e335b712ea3f16c46168915079b16e6a2


Trivial merge