Processing commands for cont...@bugs.debian.org: > reassign 890905 src:jabref 3.8.2+ds-2 Bug #890905 [jabref] jabref: doesn't build/run with default-jdk/-jre Bug reassigned from package 'jabref' to 'src:jabref'. No longer marked as found in versions jabref/3.8.2+ds-2. Ignoring request to alter fixed versions of bug #890905 to the same values previously set Bug #890905 [src:jabref] jabref: doesn't build/run with default-jdk/-jre Marked as found in versions jabref/3.8.2+ds-2. > forcemerge 890905 894293 Bug #890905 [src:jabref] jabref: doesn't build/run with default-jdk/-jre Bug #894293 [src:jabref] jabref FTBFS with openjdk-9 Set Bug forwarded-to-address to 'https://github.com/JabRef/jabref/issues/2594'. Added tag(s) pending, patch, and upstream. Merged 890905 894293 > thanks Stopping processing here.
Please contact me if you need assistance. -- 890905: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=890905 894293: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=894293 Debian Bug Tracking System Contact ow...@bugs.debian.org with problems
