[php-maint] Processed: Re: Bug#803244: php5-common: upgrading enables manually disabled opcache

[Debian Bug Tracking System]

Processing control commands:

> severity -1 minor
Bug #803244 [php5-common] php5-common: upgrading enables manually disabled opcache
Severity set to 'minor' from 'serious'
> reassign 797350 php5-common
Bug #797350 [libapache2-mod-php5] Improve the documentation on module management
Bug reassigned from package 'libapache2-mod-php5' to 'php5-common'.
No longer marked as found in versions php5/5.6.12+dfsg-0+deb8u1.
Ignoring request to alter fixed versions of bug #797350 to the same values previously set
> forcemerge 797350 -1
Bug #797350 [php5-common] Improve the documentation on module management
Bug #797350 [php5-common] Improve the documentation on module management
Marked as found in versions php5/5.6.14+dfsg-0+deb8u1.
Bug #803244 [php5-common] php5-common: upgrading enables manually disabled opcache
Merged 797350 803244

-- 
797350: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=797350
803244: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=803244
Debian Bug Tracking System
Contact owner at bugs.debian.org with problems