[Pkg-pulseaudio-devel] Processed: fixed 477427 in 0.9.13-1

[Debian Bug Tracking System]

Processing commands for control at bugs.debian.org:

> fixed 477427 0.9.13-1
Bug #477427 {Done: Sjoerd Simons <sjoerd at luon.net>} [pulseaudio] pulseaudio: crash
Bug Marked as fixed in versions pulseaudio/0.9.13-1.
>
End of message, stopping processing here.

Please contact me if you need assistance.

Debian bug tracking system administrator
(administrator, Debian Bugs database)