Merge vk-gl-cts/github-master into vk-gl-cts/master
authorAlexander Galazin <alexander.galazin@arm.com>
Wed, 29 Jan 2020 08:12:46 +0000 (09:12 +0100)
committerAlexander Galazin <alexander.galazin@arm.com>
Wed, 29 Jan 2020 08:12:46 +0000 (09:12 +0100)
Change-Id: I94f35958ac691838f594ad47f12ba98101fc6eb0


Trivial merge