Processed: Re: Bug#1024987 closed by Sebastian Ramacher <sramacher at debian.org> (Re: Bug#1024453: mediathek: fails to start with openjdk 17)

[Debian Bug Tracking System]

Processing commands for control at bugs.debian.org:

> unmerge 1024987
Bug #1024987 {Done: Sebastian Ramacher <sramacher at debian.org>} [java-wrappers] sweethome3d: Fail to start
Bug #1024453 {Done: Sebastian Ramacher <sramacher at debian.org>} [java-wrappers] mediathek: fails to start with openjdk 17
Disconnected #1024987 from all other report(s).
> reassign 1024987 sweethome3d
Bug #1024987 {Done: Sebastian Ramacher <sramacher at debian.org>} [java-wrappers] sweethome3d: Fail to start
Bug reassigned from package 'java-wrappers' to 'sweethome3d'.
No longer marked as found in versions java-wrappers/0.3.
No longer marked as fixed in versions 0.4.
> reopen 1024987
Bug #1024987 {Done: Sebastian Ramacher <sramacher at debian.org>} [sweethome3d] sweethome3d: Fail to start
Bug reopened
Ignoring request to alter fixed versions of bug #1024987 to the same values previously set
> thanks
Stopping processing here.

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