Microphone mute button doesn't work in Ubuntu GNOME 13.10 and 14.04

[Christian Dysthe]

Hi,

I am not sure whether this is a Ubuntu GNOME or general Ubuntu problem
but the microphone mute button on my Thinkpad T430S button does not work
in Ubuntu GNOME 13.10 and 14.04. I know it has worked with Ubuntu in the
past, but not now. It does work in other Gnome-Shell distros I have used
recently like Arch based Manjaro GNOME and Fedora 20. I checked with
those two again now and it works in both of them. I find it hard to
report this as a bug since I have no idea what makes this button work in
the first place. Right now there's not any output from 'acpi_listen'
either on Ubuntu GNOME 14.04. All the other buttons work.

-- 
//Christian
Dropbox - Your stuff anywhere! - https://db.tt/U8MqkVR