I installed a fresh Ubuntu 12.04 on my Thinkpad X200t. However, my volume mute button does not work whilst volume up and down buttons work flawlessly.
I tried to edit the shortcut key that is assigned to
Volume mute in the keyboard settings  but the button is not recognised.
What else can I try?