> On 4 Aug 2017, at 13:44, Christophe Fergeau <[email protected]> wrote: > > On Fri, Aug 04, 2017 at 12:11:44PM +0200, Christophe de Dinechin wrote: >> >>> On 18 Jul 2017, at 16:48, Christophe Fergeau <[email protected]> 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. >>> The messages to the mailing list are prefixed with "spice-gtk", but >>> through git send-email --subject-prefix spice-gtk. >> >> Does that count as an “ack”? Or do you want me to resend the series >> with just the subject line change? > > You've already pushed the patch as 0bedca, that comment was meant for > future commits.
Indeed. As a result, I’m starting to hate patchwork with intense dedication ;-) Christophe > > Christophe _______________________________________________ Spice-devel mailing list [email protected] https://lists.freedesktop.org/mailman/listinfo/spice-devel
