reassign 648823 mediawiki
thank you
I guess it is fixable within mediawiki package now.
O.
On Fri, May 3, 2013 at 6:30 PM, Ian Jackson
<ijack...@chiark.greenend.org.uk> wrote:
> Ondřej Surý writes ("Re: [php-maint] Bug#648823: Processed: Closed by
> mistake"):
>> Well, there were some changes in the delete code which allows us to
>> keep actively used session files.
>
> Right.
>
>> But while re-reading this bug again I think you were right to re-open the
>> bug.
>
> Good, thanks for the review.
>
>> Anyway the mediawiki can install the file into
>> /etc/php5/modules-available/mediawiki.ini with required PHP directives
>> and issue php5enmod mediawiki in postinst (and php5dismod mediawiki in
>> prerm).
>
> So, should this bug be reassigned to the mediawiki package ?
>
> Regards,
> Ian.
--
Ondřej Surý <ond...@sury.org>
--
To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org
with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
