[Fwd: Broken media keys in gnome-settings-daemon master?]

[Federico Mena Quintero <federico gnome org>]

Heads-up about the X server!

  Federico

--- Begin Message ---

• From: Bastien Nocera <hadess hadess net>
• To: Desktop Hackers <desktop-devel-list gnome org>
• Cc: Daniel Stone <daniel fooishbar org>
• Subject: Broken media keys in gnome-settings-daemon master?
• Date: Tue, 08 Nov 2011 13:48:26 +0000

Time to get your X server fixed!

Those 2 patches are necessary to fix XInput2 grabs and ungrabs:
https://bugs.freedesktop.org/show_bug.cgi?id=42298
http://cgit.freedesktop.org/xorg/xserver/commit/?h=server-1.11-branch&id=347f5610ca023fb31485aa19c20607af8bf9c834

The 2nd patch is already in X.org server 1.11.2, the former isn't yet.

Cheers

_______________________________________________
desktop-devel-list mailing list
desktop-devel-list gnome org
http://mail.gnome.org/mailman/listinfo/desktop-devel-list

--- End Message ---