Summary of changes: 02fc43a... dist-git conversion (*) 724d7b4... Apply patch from Gentoo to fix crash when re-enabling (#580 (*) 22a0e1b... Merge branch 'master' into f13 (*) This commit already existed in another branch; no separate mail sent