[Pkg-mediawiki-devel] Processed: this must be fixed in mw-extensions

Debian Bug Tracking System owner at bugs.debian.org
Wed Sep 4 15:03:14 UTC 2013


Processing commands for control at bugs.debian.org:

> reassign 719208 mediawiki-extensions-base
Bug #719208 [mediawiki] mediawiki: md5sums for Renameuser{.alias, .i18n, _body}.php files are incorrect
Bug reassigned from package 'mediawiki' to 'mediawiki-extensions-base'.
No longer marked as found in versions mediawiki/1:1.19.5-1.
Ignoring request to alter fixed versions of bug #719208 to the same values previously set
> found 719208 3.4
Bug #719208 [mediawiki-extensions-base] mediawiki: md5sums for Renameuser{.alias, .i18n, _body}.php files are incorrect
Marked as found in versions mediawiki-extensions/3.4.
> severity 719208 serious
Bug #719208 [mediawiki-extensions-base] mediawiki: md5sums for Renameuser{.alias, .i18n, _body}.php files are incorrect
Severity set to 'serious' from 'normal'
> tag 719208 + help
Bug #719208 [mediawiki-extensions-base] mediawiki: md5sums for Renameuser{.alias, .i18n, _body}.php files are incorrect
Added tag(s) help.
> thanks
Stopping processing here.

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



More information about the Pkg-mediawiki-devel mailing list