Merge pull request #117 from eMoflon/hotfix/macos-doc-fix #483

Job	Run time
create-splash-image	7s
collect-github-api-artifacts	7s
build-linux-dev-ci	6m 50s
build-linux-user-ci	7m 41s
build-linux-user	19m 47s
build-linux-dev	8m 57s
build-linux-dev-hipe	8m 11s
build-macos-dev	15m 44s
build-macos-user	16m 45s
build-macos-arm-dev	14m 33s
build-macos-arm-dev-hipe	13m 25s
build-macos-arm-user	16m 6s
build-macos-dev-hipe	9m 35s
build-windows-dev-hipe	9m 58s
build-windows-dev	10m 51s
build-windows-user	11m 50s
create-release	0s
	2h 50m 27s

Provide feedback