[automerger skipped] DO NOT MERGE - Merge Android 13 am: 8bfcaf9ebf -s ours am: 3c406c6cf3 -s ours

am skip reason: Merged-In I64f46b43bd0b5bbb5ab3dca5aeb83804183b3c14 with SHA-1 58fa443749 is already in history

Original change: https://android-review.googlesource.com/c/platform/external/deqp-deps/SPIRV-Tools/+/2186704

Change-Id: I05c041c4d04ce46c11ea46856513a431efe39c07
Signed-off-by: Automerger Merge Worker <android-build-automerger-merge-worker@system.gserviceaccount.com>