Processed: Re: mate-system-tools: mate-system-tools is gone, apt should indicate gnome-system-tools replaces it
Processing control commands:
> reassign -1 mate-desktop-environment-extras
Bug #873526 [mate-menus] mate-system-tools: mate-system-tools is gone, apt should indicate gnome-system-tools replaces it
Bug reassigned from package 'mate-menus' to 'mate-desktop-environment-extras'.
No longer marked as found in versions mate-menus/1.18.0-2.
Ignoring request to alter fixed versions of bug #873526 to the same values previously set
--
873526: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=873526
Debian Bug Tracking System
Contact owner@bugs.debian.org with problems
Reply to: