Processed: Re: Bug#893251: jabref 3.8 is started with OpenJDK 9 instead of 8

Sat Mar 17 18:21:06 UTC 2018

Processing control commands:

> forcemerge 890905 -1
Bug #890905 [jabref] jabref: doesn't build/run with default-jdk/-jre
Bug #893251 [jabref] jabref 3.8 is started with OpenJDK 9 instead of 8
Set Bug forwarded-to-address to 'https://github.com/JabRef/jabref/issues/2594'.
Severity set to 'serious' from 'important'
Added tag(s) upstream, patch, and pending.
Merged 890905 893251

-- 
890905: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=890905
893251: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=893251
Debian Bug Tracking System
Contact owner at bugs.debian.org with problems