On Tue, Jul 18, 2017 at 04:50:23PM +0200, Christophe de Dinechin wrote: > > > 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? Hmm, nothing obvious comes to mind, no prefix would have been fine I guess :) Christophe
Attachment:
signature.asc
Description: PGP signature
_______________________________________________ Spice-devel mailing list Spice-devel@xxxxxxxxxxxxxxxxxxxxx https://lists.freedesktop.org/mailman/listinfo/spice-devel