[automerger skipped] Merge "DO NOT MERGE: Merge remote-tracking branch 'khronos/vulka...
authorandroid-build-prod (mdb) <android-build-team-robot@google.com>
Tue, 1 May 2018 17:41:37 +0000 (10:41 -0700)
committerandroid-build-merger <android-build-merger@google.com>
Tue, 1 May 2018 17:41:37 +0000 (10:41 -0700)
am: 2caa0005d1  -s ours

Change-Id: I3c1f5ee19a9d57ba873ef11d4b8c2deb7a20f29b


Trivial merge