Processing commands for control at bugs.debian.org: > severity 535770 grave Bug #535770 [php5] Segmentation fault with php 5.3 Severity set to 'grave' from 'normal' > thanks Stopping processing here. Please contact me if you need assistance. Debian bug tracking system administrator (administrator, Debian Bugs database)