Processed: severity of 732607 is grave, merging 732207 732607

[owner@bugs.debian.org (Debian Bug Tracking System)]

Processing commands for control@bugs.debian.org:

> severity 732607 grave
Bug #732607 [tvtime] tvtime: apt cannot complete installation of tvtime
Severity set to 'grave' from 'normal'
> merge 732207 732607
Bug #732207 [tvtime] tvtime: tvtime-configure segfaults on 64-bit systems
Bug #732607 [tvtime] tvtime: apt cannot complete installation of tvtime
Added tag(s) sid and jessie.
Bug #732207 [tvtime] tvtime: tvtime-configure segfaults on 64-bit systems
Marked as found in versions tvtime/1.0.2-12.
Merged 732207 732607
> thanks
Stopping processing here.

Please contact me if you need assistance.
-- 
732207: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=732207
732607: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=732607
Debian Bug Tracking System
Contact owner@bugs.debian.org with problems