Processing commands for cont...@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 ow...@bugs.debian.org with problems
--
To UNSUBSCRIBE, email to debian-bugs-rc-requ...@lists.debian.org
with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
