Release 5.13.0 #262

Job	Run time
build-ubuntu (18)	2m 10s
build-ubuntu (18)	2m 10s
lint	17s
lint	17s
build-ubuntu (20)	2m 14s
build-ubuntu (20)	2m 14s
build-ubuntu (22)	2m 31s
build-ubuntu (22)	2m 31s
test-ee	1m 30s
test-ee	1m 30s
test-lowest-supported-server	1m 29s
test-lowest-supported-server	1m 29s
test-ce (18)	1m 53s
test-ce (18)	1m 53s
test-ce-latest-release	0s
test-ce-latest-release	0s
test-ce (20)	1m 49s
test-ce (20)	1m 49s
test-valgrind (20)	2m 27s
test-valgrind (20)	2m 23s
test-ce (22)	1m 54s
test-ce (22)	2m 2s
	36m 32s

Provide feedback