On Mon, Nov 24, 2014 at 4:46 PM, Christophe Fergeau <cfergeau@xxxxxxxxxx> wrote: > This could be renamed to reds_enable_mm_time in a followup patch as > there is no longer a timer It took me some time to understand, all mm_timer could be renamed to mm_time after the patch, I agree. -- Marc-André Lureau _______________________________________________ Spice-devel mailing list Spice-devel@xxxxxxxxxxxxxxxxxxxxx http://lists.freedesktop.org/mailman/listinfo/spice-devel