Processed: Bug still present

Processing control commands: > merge -1 807902 Bug #808094 [konsole] Konsole segmentation fault after closing it Bug #807902 [konsole] konsole: segfault on exit Bug #807902 [konsole] konsole: segfault on exit Merged 807902 808094 -- 807902: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=807902

Processed: Bug still present

Processing control commands: > merge -1 807902 Bug #808094 [konsole] Konsole segmentation fault after closing it Bug #808094 [konsole] Konsole segmentation fault after closing it There is no source info for the package 'konsole' at version '15.08.0' with architecture '' Unable to make a source ve

Processed: Bug still present

Processing control commands: > merge -1 807902 Bug #807902 [konsole] konsole: segfault on exit Bug #808094 [konsole] Konsole segmentation fault after closing it Bug #808094 [konsole] Konsole segmentation fault after closing it Merged 807902 808094 -- 807902: http://bugs.debian.org/cgi-bin/bugrep