merge from upstream #135

Job	Run time
Make (main, bluefin, 38)	6m 15s
Make (main, bluefin, 39)	7m 22s
Make (main, bluefin-dx, 38)	11m 7s
Make (main, bluefin-dx, 39)	13m 38s
Make (nvidia, bluefin, 38)	7m 48s
Make (nvidia, bluefin, 39)	6m 18s
Make (nvidia, bluefin-dx, 38)	13m 27s
Make (nvidia, bluefin-dx, 39)	9m 25s
Make (asus, bluefin, 38)	6m 59s
Make (asus, bluefin, 39)	7m 41s
Make (asus, bluefin-dx, 38)	14m 13s
Make (asus, bluefin-dx, 39)	11m 57s
Make (asus-nvidia, bluefin, 38)	6m 39s
Make (asus-nvidia, bluefin, 39)	7m 46s
Make (asus-nvidia, bluefin-dx, 38)	14m 12s
Make (asus-nvidia, bluefin-dx, 39)	14m 46s
Make (framework, bluefin, 38)	5m 40s
Make (framework, bluefin, 39)	7m 21s
Make (framework, bluefin-dx, 38)	15m 19s
Make (framework, bluefin-dx, 39)	13m 27s
Make (surface, bluefin, 38)	6m 34s
Make (surface, bluefin, 39)	7m 38s
Make (surface, bluefin-dx, 38)	10m 32s
Make (surface, bluefin-dx, 39)	10m 42s
Make (surface-nvidia, bluefin, 38)	4m 57s
Make (surface-nvidia, bluefin, 39)	7m 29s
Make (surface-nvidia, bluefin-dx, 38)	12m 53s
Make (surface-nvidia, bluefin-dx, 39)	13m 50s
Check all builds successful	0s
	4h 35m 55s

Provide feedback