Summary of changes: 7cbdeb4... - up to 3.1.0b1 (*) b5d4400... up to 3.1.0RC2, builds with php 5.4, merged php_suffix supp (*) a9be72e... Merge branch 'DEVEL', updated to 3.1.2 (*) This commit already existed in another branch; no separate mail sent