Merge branch 'master' into openjdk-bot-13 #8

Job	Run time
Select platforms	1s
linux-x64-hs-nopch / build (debug)	20m 10s
linux-x64 / build (debug)	25m 1s
docs / build (debug)	2m 20s
linux-x64-hs-minimal / build (debug)	7m 55s
linux-x64 / build (release)	20m 52s
linux-x64-hs-optimized / build (debug)	16m 45s
linux-x64-hs-zero / build (debug)	12m 4s
linux-x86 / build (debug)	23m 58s
linux-x86 / build (release)	20m 2s
macos-aarch64 / build (debug)	11m 58s
macos-aarch64 / build (release)	14m 42s
macos-x64 / build (debug)	27m 11s
macos-x64 / build (release)	29m 53s
windows-aarch64 / build (debug)	18m 29s
windows-x64 / build (debug)	39m 3s
windows-aarch64 / build (release)	14m 53s
windows-x64 / build (release)	36m 1s
macos-aarch64	0s
linux-x86	0s
linux-x64	0s
linux-cross-compile	0s
macos-x64	0s
windows-x64	0s
Remove bundle artifacts	2s
	5h 41m 20s

Provide feedback