Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Auto merge of #476 - Amanieu:disable_neon_miri, r=Amanieu
Disable the use of NEON intrinsics on Miri Although this happens to work at the moment, there is no guarantee that this will continue to be the case in the future.
- Loading branch information