Merge branch 'wip/otte/for-main' into 'main'
authorBenjamin Otte <otte.benjamin@googlemail.com>
Tue, 2 May 2023 18:09:13 +0000 (18:09 +0000)
committerBenjamin Otte <otte.benjamin@googlemail.com>
Tue, 2 May 2023 18:09:13 +0000 (18:09 +0000)
build: Use generated SPIR-V files

Closes #5798

See merge request GNOME/gtk!5910


Trivial merge