[php-maint] Processed: Re: Bug#511900: php5: Compiling pdo_oci extension fails with "Cannot find php_pdo_driver.h."

[Debian Bug Tracking System]

Processing commands for control at bugs.debian.org:

> severity 511900 important
Bug#511900: php5: Compiling pdo_oci extension fails with "Cannot find  php_pdo_driver.h."
Severity set to `important' from `serious'

> tags 511900 -patch
Bug#511900: php5: Compiling pdo_oci extension fails with "Cannot find  php_pdo_driver.h."
Tags were: patch
Tags removed: patch

> thanks
Stopping processing here.

Please contact me if you need assistance.

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