[Bug 27731] HDMI port power management problems.

[bugzilla-daemon at freedesktop.org]

https://bugs.freedesktop.org/show_bug.cgi?id=27731

--- Comment #16 from Rafał Miłecki <zajec5 at gmail.com> 2012-02-08 08:48:05 PST ---
Micael: thanks for testing and sorry for messing two reports. Glad your Samsung
it working now :)

-- 
Configure bugmail: https://bugs.freedesktop.org/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are the assignee for the bug.