Merge pull request #381 from gerbrand-bosch/master #747

Job	Run time
docker-build	38s
test	6m 32s
build (linux, amd64)	29s
lint	1m 12s
build (linux, 386)	33s
build (linux, arm)	32s
build (linux, arm64)	28s
build (darwin, amd64)	29s
build (darwin, arm64)	33s
build (windows, amd64)	35s
build (windows, 386)	31s
build (windows, arm)	38s
build (windows, arm64)	30s
integration-test-serverside (f0023141ec429d912e329665f937d05b178a3fee)	2m 13s
integration-test-clientside (v0.13.2)	2m 7s
analyze	1m 34s
	19m 34s

Provide feedback