Summary of changes: 8328a0b... dist-git conversion (*) 49cb6d7... - Fix story mode not working with php >= 5.3.5 (rhbz#668657 (*) 69f2a68... Merge remote branch 'origin/master' into f13/master (*) This commit already existed in another branch; no separate mail sent