[php-maint] Processed: Re: Bug#494754: php5-dev: Compiling pecl/phar fails because of missing include/ext/spl/ directory

[Debian Bug Tracking System]

Processing commands for controlbugs.debian.org:

> reopen 494754
Bug#494754: php5-dev: Compiling pecl/phar fails because of missing include/ext/spl/ directory
Bug reopened, originator not changed.

> severity 494754 wishlist
Bug#494754: php5-dev: Compiling pecl/phar fails because of missing include/ext/spl/ directory
Severity set to `wishlist' from `normal'

> retitle 494754 Please enable php5 spl module
Bug#494754: php5-dev: Compiling pecl/phar fails because of missing include/ext/spl/ directory
Changed Bug title to `Please enable php5 spl module' from `php5-dev: Compiling pecl/phar fails because of missing include/ext/spl/ directory'.

> fixed 494754 5.2.6-2
Bug#494754: Please enable php5 spl module
Bug marked as fixed in version 5.2.6-2.

> thank you
Stopping processing here.

Please contact me if you need assistance.

Debian bug tracking system administrator
(administrator, Debian Bugs database)