Merge vk-gl-cts/github-master into vk-gl-cts/master
authorAlexander Galazin <alexander.galazin@arm.com>
Fri, 25 Sep 2020 09:13:55 +0000 (11:13 +0200)
committerAlexander Galazin <alexander.galazin@arm.com>
Fri, 25 Sep 2020 09:13:55 +0000 (11:13 +0200)
Change-Id: Id08c5fcbaea1f9cee9671fa40e5490d000c38711


Trivial merge