Summary of changes: e07c633... - Fix story mode not working with php >= 5.3.5 (rhbz#668657 (*) 9cfc8f1... Merge remote branch 'origin/master' into f13/master (*) This commit already existed in another branch; no separate mail sent