Summary of changes: 942abb2... Initialize branch F-13 for mikmod (*) 541f511... dist-git conversion (*) b4abfbe... Merge branch 'master' into f13 (*) 4d4b200... arm needs the same floor symbol fix as s390(x) (*) (*) This commit already existed in another branch; no separate mail sent