[pkg-cinnamon] Processed: Re: Bug#825917: cinnamon: switching dosbox to fullscreen messes up display settings

Tue May 31 11:21:16 UTC 2016

Processing control commands:

> reassign -1 dosbox
Bug #825917 [cinnamon] cinnamon: switching dosbox to fullscreen messes up display settings
Bug reassigned from package 'cinnamon' to 'dosbox'.
No longer marked as found in versions cinnamon/3.0.2-2.
Ignoring request to alter fixed versions of bug #825917 to the same values previously set
> merge -1 539740
Bug #825917 [dosbox] cinnamon: switching dosbox to fullscreen messes up display settings
Bug #825917 [dosbox] cinnamon: switching dosbox to fullscreen messes up display settings
Marked as found in versions dosbox/0.72-1.1.
Bug #539740 [dosbox] dosbox: Fullscreen messes up extended desktop
Merged 539740 825917
> tag -1 moreinfo
Bug #825917 [dosbox] cinnamon: switching dosbox to fullscreen messes up display settings
Bug #539740 [dosbox] dosbox: Fullscreen messes up extended desktop
Added tag(s) moreinfo.
Added tag(s) moreinfo.

-- 
539740: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=539740
825917: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=825917
Debian Bug Tracking System
Contact owner at bugs.debian.org with problems