After recent Debian updates the problem does not exist anymore.
So I think the bug can be closed. Gert _______________________________________________ pkg-pulseaudio-devel mailing list [email protected] https://alioth-lists.debian.net/cgi-bin/mailman/listinfo/pkg-pulseaudio-devel
