Merge branch 'master' into feature/tool-dependencies #9630

Job	Run time
x86_64-gnu-test (1.2.2, USE_PCRE1=true)	50m 41s
check_format	2m 41s
x86_64-gnu-test (1.3.2, USE_PCRE1=true)	39m 40s
x86_64-gnu-test (1.4.1, USE_PCRE1=true)	46m 43s
x86_64-musl-test	46m 8s
x86_64-gnu-test (1.5.1, USE_PCRE1=true)	37m 24s
x86_64-gnu-test (1.6.2, USE_PCRE1=true)	45m 24s
x86_64-gnu-test (1.0.0, FLAGS=-Dwithout_ffi USE_PCRE1=true)	36m 32s
x86_64-gnu-test (1.1.1, FLAGS=-Dwithout_ffi USE_PCRE1=true)	37m 48s
x86_64-gnu-test (1.7.3)	50m 36s
x86_64-gnu-test (1.8.2)	45m 53s
deploy_api_docs	0s
x86_64-gnu-test (1.9.2)	37m 57s
x86_64-gnu-test-preview_mt	8m 5s
	8h 5m 32s

Provide feedback