Update version for c71c62d45a978a78a25eb4d7fda484023a85db3f (#1251) #3065

Job	Run time
clippy-web	6m 19s
test-linux	6m 47s
clippy	2m 32s
build (macos-latest)	11m 42s
build (windows-latest)	17m 9s
build (ubuntu-22.04)	7m 47s
build-guest-rust (macos-latest)	1m 27s
build-web	8m 23s
build-guest-rust (windows-latest)	2m 6s
build-guest-rust (ubuntu-22.04)	1m 31s
build-api-and-doc	14m 41s
golden-image-tests	5m 18s
test-new-package-works (macos-latest)	3m 23s
test-new-package-works (ubuntu-22.04)	1m 49s
	1h 30m 54s

Provide feedback