https://bugs.freedesktop.org/show_bug.cgi?id=40252
--- Comment #4 from Fabian Deutsch <fabian.deutsch at gmx.de> 2011-09-22 13:22:42 PDT --- Mh okay, I my observations were related to HDMI (not VGA). Is there a way to find out if a "HPD pin [is] assigned to the digital display connector"? -- Configure bugmail: https://bugs.freedesktop.org/userprefs.cgi?tab=email ------- You are receiving this mail because: ------- You are the assignee for the bug.