20:24:19 luigi1111: if you are still around, can you also merge 9480? 20:24:23 it also fixes CI 20:25:30 done 22:36:55 tobtoht_: did you see the new build issue on Windows? any idea?