Processed: your mail
Processing commands for control@bugs.debian.org:
> severity 706477 wishlist
Bug #706477 [installation-reports] installation-reports: The "discard" mount option is not listed in the mount options menu
Severity set to 'wishlist' from 'important'
> reassign 706477 partman-auto
Bug #706477 [installation-reports] installation-reports: The "discard" mount option is not listed in the mount options menu
Bug reassigned from package 'installation-reports' to 'partman-auto'.
Ignoring request to alter found versions of bug #706477 to the same values previously set
Ignoring request to alter fixed versions of bug #706477 to the same values previously set
> merge 690977 706477
Bug #690977 [partman-auto] partman-auto: Add a way to add "discard" option to filesystems
Bug #706477 [partman-auto] installation-reports: The "discard" mount option is not listed in the mount options menu
Marked as found in versions partman-auto/104.
Added tag(s) d-i.
Merged 690977 706477
> thanks
Stopping processing here.
Please contact me if you need assistance.
--
690977: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=690977
706477: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=706477
Debian Bug Tracking System
Contact owner@bugs.debian.org with problems
Reply to: