Merge "Merge vk-gl-cts/github-master into vk-gl-cts/master"
authorGerrit Code Review <gerrit@gerrit.khronos.org>
Fri, 15 Sep 2017 11:41:44 +0000 (07:41 -0400)
committerGerrit Code Review <gerrit@gerrit.khronos.org>
Fri, 15 Sep 2017 11:41:44 +0000 (07:41 -0400)

Trivial merge