Fix spirv tools hash
authorPeter Gal <pgal.u-szeged@partner.samsung.com>
Tue, 17 Nov 2015 15:03:14 +0000 (16:03 +0100)
committerPeter Gal <pgal.u-szeged@partner.samsung.com>
Tue, 17 Nov 2015 15:03:14 +0000 (16:03 +0100)
commit4445715399a623ee69dde7a1e7801f215980e4a1
treea3b528b49479cd4bdeb09846f865a53786939547
parentbebb8a5c985f5f619caa4e44ad2ffde2425f53af
Fix spirv tools hash

It seems that the old hash vanished from the repository.
The new hash should point to the same commit as before.
Well at least the commit message seems to be the same as before.
external/fetch_sources.py