Summary of changes: 88dfaaf... rebuild for php 5.3.4 (*) 05c98be... Merge with master (*) b18c2f6... Merge remote branch 'origin/master' into f14/master (*) e9fe968... rebuild (*) 612cb23... Merge branch 'f14' into f13 (*) This commit already existed in another branch; no separate mail sent