Yes, that it should not have been pushed.
I agree. I would prefer we eliminated the trivial push rule altogether. Cheers, Jeremy _______________________________________________ Spice-devel mailing list Spice-devel@xxxxxxxxxxxxxxxxxxxxx http://lists.freedesktop.org/mailman/listinfo/spice-devel