Bug#822442: closed by Felipe Sateler <fsateler at debian.org> (Re: Bug#822442: pulseaudio: Missing extra-hdmi.conf file)

[asu]

On 04/24/2016 06:45 PM, Debian Bug Tracking System wrote:
> This is an automatic notification regarding your Bug report
> which was filed against the pulseaudio package:
>
> #822442: pulseaudio: Missing extra-hdmi.conf file
>
> It has been closed by Felipe Sateler <fsateler at debian.org>.
>
> Their explanation is attached below along with your original report.
> If this explanation is unsatisfactory and you have not received a
> better one in a separate message then please contact Felipe Sateler <fsateler at debian.org> by
> replying to this email.
>
>
May need run update-initramfs -u