https://bugs.freedesktop.org/show_bug.cgi?id=40252 --- Comment #4 from Fabian Deutsch <fabian.deutsch@xxxxxx> 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. _______________________________________________ dri-devel mailing list dri-devel@xxxxxxxxxxxxxxxxxxxxx http://lists.freedesktop.org/mailman/listinfo/dri-devel
