Processing commands for control@bugs.debian.org: > severity 731173 important Bug #731173 [src:linux] linux-image-3.11-2-amd64: No HDMI output when connected to Smart TV Severity set to 'important' from 'serious' > thanks Stopping processing here. Please contact me if you need assistance. -- 731173: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=731173 Debian Bug Tracking System Contact owner@bugs.debian.org with problems