Processed (with 1 errors): your mail
Processing commands for control@bugs.debian.org:
> severity #629054 normal
Bug #629054 [debian-edu-config] GNOME: cannot unmount USB devices on diskless workstations
Severity set to 'normal' from 'minor'
> severity #629055 normal
Bug #629055 [debian-edu-config] GNOME profile: unable to eject/umount CD/DVD media
Ignoring request to change severity of Bug 629055 to the same value.
> merge #629054 #629055
Bug #629054 [debian-edu-config] GNOME: cannot unmount USB devices on diskless workstations
Bug #629055 [debian-edu-config] GNOME profile: unable to eject/umount CD/DVD media
Merged 629054 629055
> tag #629054 pending
Bug #629054 [debian-edu-config] GNOME: cannot unmount USB devices on diskless workstations
Bug #629055 [debian-edu-config] GNOME profile: unable to eject/umount CD/DVD media
Added tag(s) pending.
Added tag(s) pending.
> fixed #629054 1.456 1.703
Unknown command or malformed arguments to command.
> thanks
Stopping processing here.
Please contact me if you need assistance.
--
629054: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=629054
629055: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=629055
Debian Bug Tracking System
Contact owner@bugs.debian.org with problems
Reply to: