Processing commands for cont...@bugs.debian.org:

> clone 890905 -1
Bug #890905 [jabref] jabref: fails to build and start with openjdk-9
Bug 890905 cloned as bug 893138
> retitle 890905 jabref: doesn't build/run with default-jdk/-jre
Bug #890905 [jabref] jabref: fails to build and start with openjdk-9
Changed Bug title to 'jabref: doesn't build/run with default-jdk/-jre' from 
'jabref: fails to build and start with openjdk-9'.
> severity -1 important
Bug #893138 [jabref] jabref: fails to build and start with openjdk-9
Severity set to 'important' from 'serious'
> thanks
Stopping processing here.

Please contact me if you need assistance.
-- 
890905: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=890905
893138: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=893138
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