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


Trivial merge