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

__
This is the maintainer address of Debian's Java team
<http://lists.alioth.debian.org/cgi-bin/mailman/listinfo/pkg-java-maintainers>. 
Please use
debian-j...@lists.debian.org for discussions and questions.

Reply via email to