Thanks for the report Benjamin. Just so that I understand correctly, even after killing and restarting pulseaudio, the microphone won't register sound until the machine is rebooted?
Thanks for the report Benjamin. Just so that I understand correctly, even after killing and restarting pulseaudio, the microphone won't register sound until the machine is rebooted?