> On 18 Jul 2017, at 16:48, Christophe Fergeau <cfergeau@xxxxxxxxxx> wrote: > > 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. OK. For my education, what would you suggest as being an acceptable more specific prefix be in that case, if any? > The messages to the mailing list are prefixed with "spice-gtk", but > through git send-email --subject-prefix spice-gtk. OK. Deal. Christophe > > Christophe _______________________________________________ Spice-devel mailing list Spice-devel@xxxxxxxxxxxxxxxxxxxxx https://lists.freedesktop.org/mailman/listinfo/spice-devel