Merge vk-gl-cts/github-master into vk-gl-cts/master
authorAlexander Galazin <alexander.galazin@arm.com>
Tue, 25 Feb 2020 09:56:29 +0000 (10:56 +0100)
committerAlexander Galazin <alexander.galazin@arm.com>
Tue, 25 Feb 2020 09:56:29 +0000 (10:56 +0100)
Change-Id: I7649e7f482a31edb244999a81593fe99f006ab3f


Trivial merge