On 04/17/2013 04:44 PM, Alan Coopersmith wrote:
> On 04/17/13 01:34 PM, James M Leddy wrote:
>> Please consider taking the following patch. F20 is now the defacto
>> micmute key in linux, since both gnome-settings-daemon and udev have
>> agreed on it.
>
> That needs to go to the xkeyboard-config maintainers - they have a
> separate list for their developers:
>
> http://www.freedesktop.org/wiki/Software/XKeyboardConfig/Development
>
Thanks for the pointer
_______________________________________________
[email protected]: X.Org development
Archives: http://lists.x.org/archives/xorg-devel
Info: http://lists.x.org/mailman/listinfo/xorg-devel
