[Spice-devel] [PATCH spice-gtk 2/2] spice-widget: rename mouse_update to update_mouse_mode.

Marc-André Lureau mlureau at redhat.com
Fri Dec 9 09:48:42 PST 2011


ack


More information about the Spice-devel mailing list