Both this and the avx512f change look good to me.

Reply via email to