Processed: found 1087423 in 11.0.11+1-4

[Debian Bug Tracking System]

Processing commands for control at bugs.debian.org:

> found 1087423 11.0.11+1-4
Bug #1087423 {Done: Pierre Gruet <pgt at debian.org>} [src:openjfx] libopenjfx-jni: mediathekview won't start with version 11.0.11+1-4
Bug #1087687 {Done: Pierre Gruet <pgt at debian.org>} [src:openjfx] mediathekview: Fatal error in Java Runtime Environment/SIGSEV
Marked as found in versions openjfx/11.0.11+1-4.
Marked as found in versions openjfx/11.0.11+1-4.
> 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