Given that Peter’s was the only other reply, and that it was positive, (and given that I have a keyboard with such a key ☺) I’ve pushed this.
-JimC -- James Cloos <[email protected]> OpenPGP: 1024D/ED7DAEA6 _______________________________________________ [email protected]: X.Org development Archives: http://lists.x.org/archives/xorg-devel Info: http://lists.x.org/mailman/listinfo/xorg-devel
