Processed: Re: Bug#912221: jabref: incompatible with openjdk 11

[Debian Bug Tracking System]

Processing commands for control at bugs.debian.org:

> user debian-java at lists.debian.org
Setting user to debian-java at lists.debian.org (was ebourg at apache.org).
> usertag 912221 + default-java11
There were no usertags set.
Usertags are now: default-java11.
> tags 912221 + sid buster
Bug #912221 [jabref] jabref: incompatible with openjdk 11
Added tag(s) buster and sid.
>
End of message, stopping processing here.

Please contact me if you need assistance.
-- 
912221: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=912221
Debian Bug Tracking System
Contact owner at bugs.debian.org with problems