[php-maint] Processed: Re: Bug#648823: Processed: Closed by mistake

Debian Bug Tracking System owner at bugs.debian.org
Fri May 3 16:39:09 UTC 2013


Processing commands for control at bugs.debian.org:

> reassign 648823 mediawiki
Bug #648823 [php5-common] php5-common: default session.gc_maxlifetime of 1440 is not practical for mediawiki
Bug reassigned from package 'php5-common' to 'mediawiki'.
No longer marked as found in versions 5.2.17-0.dotdeb.0.
Ignoring request to alter fixed versions of bug #648823 to the same values previously set
> thank you
Stopping processing here.

Please contact me if you need assistance.
-- 
648823: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=648823
Debian Bug Tracking System
Contact owner at bugs.debian.org with problems



More information about the pkg-php-maint mailing list