Summary of changes: d9e17ce... ignore 1 test with erratic result with php 5.3 (*) 84dd1d0... update to 1.3.0 (*) 14a20d8... ignore 1 more test with php 5.3 (*) 38d7576... ignore another test (*) (*) This commit already existed in another branch; no separate mail sent