Hi, On Fri, Aug 04, 2017 at 01:01:05PM +0200, Christophe de Dinechin wrote: > > It does not check if given patch was pushed, no. :( > > If so, that’s a lot less useful than PRs. All comes down to workflow in the end... Some people love it :) https://patchwork.linuxtv.org/
Attachment:
signature.asc
Description: PGP signature
_______________________________________________ Spice-devel mailing list Spice-devel@xxxxxxxxxxxxxxxxxxxxx https://lists.freedesktop.org/mailman/listinfo/spice-devel