Merge vk-gl-cts/github-master into vk-gl-cts/master
authorAlexander Galazin <alexander.galazin@arm.com>
Thu, 19 Mar 2020 08:54:16 +0000 (09:54 +0100)
committerAlexander Galazin <alexander.galazin@arm.com>
Thu, 19 Mar 2020 08:54:16 +0000 (09:54 +0100)
Change-Id: I865b9f8d9808556dfab94bdbcac5c2f8287a6e9b


Trivial merge