[SCM] pulseaudio packaging branch, master, updated. debian/4.0-4-2-gba9cd76

The branch, master has been updated via ba9cd76ec9219370cf73fd9fee15185d3145c8e7 (commit) via 3240186aeb19e9acf9054a8d2e9056a5add1268f (commit) from 13ce7b784aff36730a72a9297531ed63ca8ad05c (commit) - Shortlog

Processed: closing 712919

Processing commands for cont...@bugs.debian.org: close 712919 4.0-4 Bug #712919 [libpulse-mainloop-glib0] gnome-shell: error while loading shared libraries: libpulsecommon-4.0.so: cannot open shared object file: No such file or directory Bug #716705 [libpulse-mainloop-glib0] konsole: libpulse0