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