Merge pull request #8641 from diffblue/shell-quote-fix #11077

Job	Run time
check-ubuntu-24_04-make-gcc	32m 45s
check-macos-13-make-clang	1h 0m 37s
check-macos-14-cmake-clang	1h 22m 58s
check-ubuntu-22_04-cmake-gcc	29m 0s
check-ubuntu-22_04-cmake-gcc-32bit	29m 9s
check-ubuntu-22_04-make-clang	33m 2s
check-ubuntu-24_04-cmake-gcc	29m 46s
check-ubuntu-24_04-cmake-gcc-14	30m 5s
check-ubuntu-24_04-cmake-gcc-KNOWNBUG	18m 34s
check-ubuntu-24_04-cmake-gcc-THOROUGH	23m 4s
check-ubuntu-24_04-make-clang	35m 7s
check-ubuntu-24_04-make-clang-smt-z3	18m 55s
check-vs-2019-cmake-build-and-test	48m 15s
check-docker-image	19m 49s
check-string-table	1m 42s
check-vs-2022-make-build-and-test	39m 49s
include-what-you-use	14m 45s
windows-msi-package	22m 7s
	9h 29m 29s

Provide feedback