Hey, On Tue, Jul 18, 2017 at 04:37:29PM +0200, Christophe de Dinechin wrote: > OK. Since you seem to feel more strongly about this than me, I changed it. > Pushed to freedesktop.org. Since this is the first time I push myself to this > repo, > would you please be kind enough to check that what I pushed looks sane?
This looks all good, only minor comment I have is with the 'spice-gtk' prefix, you prepended it to the commit log, so it appears in git log, we usually use nothing, or a more specific prefix. The messages to the mailing list are prefixed with "spice-gtk", but through git send-email --subject-prefix spice-gtk. Christophe
signature.asc
Description: PGP signature
_______________________________________________ Spice-devel mailing list Spice-devel@lists.freedesktop.org https://lists.freedesktop.org/mailman/listinfo/spice-devel
