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