Summary of changes: a7d1701... Fix release tag (0.x release is for git releases) (*) 86e52f5... - Disable build for ARM (Arm gcc has no xmmintrin.h file) (*) b181a34... fix merge (*) This commit already existed in another branch; no separate mail sent