Processed: Re: Bug#421772: xserver-xorg: EDID takes precedance over DisplaySize

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

Processing commands for control@bugs.debian.org:

> tag 421772 + patch
Bug#421772: xserver-xorg: EDID takes precedance over DisplaySize
There were no tags set.
Tags added: patch

> forwarded 421772 https://bugs.freedesktop.org/show_bug.cgi?id=9758
Bug#421772: xserver-xorg: EDID takes precedance over DisplaySize
Forwarded-to-address changed from https://bugs.freedesktop.org/show_bug.cgi?id=10582 to https://bugs.freedesktop.org/show_bug.cgi?id=9758.
(By the way, this Bug is currently marked as done.)

> found 421772 2:1.4.1~git20080131-1
Bug#421772: xserver-xorg: EDID takes precedance over DisplaySize
Bug marked as found in version 2:1.4.1~git20080131-1 and reopened.

> stop
Stopping processing here.

Please contact me if you need assistance.

Debian bug tracking system administrator
(administrator, Debian Bugs database)