Bug#822442: marked as done (pulseaudio: Missing extra-hdmi.conf file)

Sun Apr 24 15:45:12 UTC 2016

Your message dated Sun, 24 Apr 2016 12:40:31 -0300
with message-id <CAAfdZj84aFUEQ=Ggc+ORaNf24eE2Xm4qwboYZANKcVP3zwObng at mail.gmail.com>
and subject line Re: Bug#822442: pulseaudio: Missing extra-hdmi.conf file
has caused the Debian Bug report #822442,
regarding pulseaudio: Missing extra-hdmi.conf file
to be marked as done.

This means that you claim that the problem has been dealt with.
If this is not the case it is now your responsibility to reopen the
Bug report if necessary, and/or fix the problem forthwith.

(NB: If you are a system administrator and have no idea what this
message is talking about, this may indicate a serious mail system
misconfiguration somewhere. Please contact owner at bugs.debian.org
immediately.)

-- 
822442: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=822442
Debian Bug Tracking System
Contact owner at bugs.debian.org with problems
-------------- next part --------------
An embedded message was scrubbed...
From: Corcodel Marian <asu at marian1000.go.ro>
Subject: pulseaudio: Missing extra-hdmi.conf file
Date: Sun, 24 Apr 2016 17:57:48 +0300
Size: 35429
URL: <http://lists.alioth.debian.org/pipermail/pkg-pulseaudio-devel/attachments/20160424/9cefd4b1/attachment-0002.mht>
-------------- next part --------------
An embedded message was scrubbed...
From: Felipe Sateler <fsateler at debian.org>
Subject: Re: Bug#822442: pulseaudio: Missing extra-hdmi.conf file
Date: Sun, 24 Apr 2016 12:40:31 -0300
Size: 3693
URL: <http://lists.alioth.debian.org/pipermail/pkg-pulseaudio-devel/attachments/20160424/9cefd4b1/attachment-0003.mht>