[Pkg-mediawiki-devel] Processed: Re: [php-maint] 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-mediawiki-devel mailing list