Bug 5096: clarify pipeline_prefetch argument documentation (#1978) #312

Job	Run time
functionality-tests	18m 24s
build-tests(ubuntu-22.04,gcc,default)	5m 14s
build-tests(ubuntu-22.04,gcc,minimal)	4m 19s
CodeQL-tests	23m 38s
build-tests(ubuntu-22.04,gcc,maximus)	6m 3s
source-maintenance-tests	2m 55s
build-tests(ubuntu-22.04,clang,default)	6m 28s
build-tests(ubuntu-22.04,clang,minimal)	5m 12s
build-tests(ubuntu-22.04,clang,maximus)	6m 56s
	1h 19m 9s

Provide feedback