Comment 35 for bug 76876

I don't think GNOME was configured to use pulseaudio as far as I didn't configure anything. It's a bit stupid: I installed pulseaudio, then noticed it made sound 'unavailable' for other apps, so I decided to uninstall it.

I apologize if the previous comment wasn't useful. I would be glad to help, feel free to ask me if you would like me to do something.

regards,