Processing commands for cont...@bugs.debian.org:
> user debian...@lists.debian.org
Setting user to debian...@lists.debian.org (was a...@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 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
