Processed: retitle 706477 to installation-reports: The "discard" mount option is not listed in the mount options menu

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

Processing commands for control@bugs.debian.org:

> retitle 706477 installation-reports: The "discard" mount option is not listed in the mount  options menu
Bug #706477 [installation-reports] Installer mount options
Changed Bug title to 'installation-reports: The "discard" mount option is not listed in the mount  options menu' from 'Installer mount options'
> thanks
Stopping processing here.

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