roll deps#27

github-actions[bot] wants to merge 3 commits intomainCodeLinaro/SPIRV-Tools:mainfrom

roll_depsCodeLinaro/SPIRV-Tools:roll_depsCopy head branch name to clipboard