Have upgraded to 3.4.2.1-0ubuntu1; the mute button seems to work now, and mutes its pulse source rather than a (incorrect) sink.
Have upgraded to 3.4.2.1-0ubuntu1; the mute button seems to work now, and mutes its pulse source rather than a (incorrect) sink.