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 808094: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=808094 Debian Bug Tracking System Contact owner@bugs.debian.org with problems