Summary of changes: 7f33b56... there is no crash available on arm arches (*) e382de6... Merge branch 'f13' into f15 (*) 143ac64... disable docs temporarily (*) (*) This commit already existed in another branch; no separate mail sent