Merge vk-gl-cts/github-master into vk-gl-cts/master
authorAlexander Galazin <alexander.galazin@arm.com>
Fri, 28 Aug 2020 07:13:28 +0000 (09:13 +0200)
committerAlexander Galazin <alexander.galazin@arm.com>
Fri, 28 Aug 2020 07:13:28 +0000 (09:13 +0200)
Change-Id: Ide0b3a9bb393c3ba13a21488494b956a8d540eb6


Trivial merge