Processed: reassign 1087423 to src:openjfx, forcibly merging 1087687 1087687

[Debian Bug Tracking System]

Processing commands for control at bugs.debian.org:

> reassign 1087423 src:openjfx
Bug #1087423 [libopenjfx-jni] libopenjfx-jni: mediathekview won't start with version 11.0.11+1-4
Bug reassigned from package 'libopenjfx-jni' to 'src:openjfx'.
No longer marked as found in versions openjfx/11.0.11+1-4.
Ignoring request to alter fixed versions of bug #1087423 to the same values previously set
> forcemerge 1087687 1087687
Bug #1087687 [src:openjfx] mediathekview: Fatal error in Java Runtime Environment/SIGSEV
Merged 1087687
> thanks
Stopping processing here.

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