Processed: Re: Bug#698491: menu tips wrong

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

Processing commands for control@bugs.debian.org:

> severity 698491 minor
Bug #698491 [installation-reports] menu tips wrong
Severity set to 'minor' from 'normal'
> merge 688695 698491
Bug #688695 [installation-reports] installation-reports: install a success, but there were misleading/noninformative navigation messages for text installer
Bug #698491 [installation-reports] menu tips wrong
Merged 688695 698491
> thanks
Stopping processing here.

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