Summary of changes: 859d468... - Add patch to fix PHP deprecated warnings with PHP 5.3. (P (*) 091c525... dist-git conversion (*) 2123454... bump release for rebuild (*) bda85c1... Merge branch 'master' into f13 (*) This commit already existed in another branch; no separate mail sent