Processed: reassign 890905 to src:jabref, forcibly merging 890905 894293

Wed Mar 28 16:18:08 UTC 2018

Processing commands for control at 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 owner at bugs.debian.org with problems