Ubuntu
x11proto-core package

  1. Precise (12.04)
  2. Bug #408903
  3. Comment #73

Comment 73 for bug 408903

Revision history for this message
James M. Leddy (jm-leddy) wrote :

Looks like this has been upstreamed as well. Since we have not yet explicitly gotten the "F20" to be the new XF86MicMute key, upstream g-s-d devs just mapped it to F20 themselves. https://git.gnome.org/browse/gnome-settings-daemon/commit/?id=5cda26ee