Processed: user debian-qa@lists.debian.org, usertagging 723956, tagging 723956, found 723956 in 1.0-2 ...
Processing commands for control@bugs.debian.org:
> user debian-qa@lists.debian.org
Setting user to debian-qa@lists.debian.org (was anbe@debian.org).
> usertags 723956 piuparts
There were no usertags set.
Usertags are now: piuparts.
> tags 723956 + jessie sid
Bug #723956 [libjline-java,libjline2-java] libjline-java,libjline2-java: error when trying to install together
Added tag(s) sid and jessie.
> found 723956 1.0-2
Bug #723956 [libjline-java,libjline2-java] libjline-java,libjline2-java: error when trying to install together
There is no source info for the package 'libjline2-java' at version '1.0-2' with architecture ''
Marked as found in versions jline/1.0-2.
> found 723956 2.11-1
Bug #723956 [libjline-java,libjline2-java] libjline-java,libjline2-java: error when trying to install together
There is no source info for the package 'libjline-java' at version '2.11-1' with architecture ''
Marked as found in versions jline2/2.11-1.
> usertags 719208 piuparts
There were no usertags set.
Usertags are now: piuparts.
> affects 719208 + mediawiki mediawiki-extensions-collection
Bug #719208 [mediawiki-extensions-base] mediawiki: md5sums for Renameuser{.alias, .i18n, _body}.php files are incorrect
Added indication that 719208 affects mediawiki and mediawiki-extensions-collection
> found 672160 1.100
Bug #672160 [console-setup] console-setup: unowned files after purge (policy 6.8, 10.8)
Marked as found in versions console-setup/1.100.
> thanks
Stopping processing here.
Please contact me if you need assistance.
--
672160: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=672160
719208: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=719208
723956: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=723956
Debian Bug Tracking System
Contact owner@bugs.debian.org with problems
Reply to: