Summary of changes: f0f2f58... - Rebuilt for https://fedoraproject.org/wiki/Fedora_17_Mass (*) c7a4ecf... fix build with PHP 5.4 (*) 8eed01c... Update to 0.7.2 (*) (*) This commit already existed in another branch; no separate mail sent