On Thu, Dec 03, 2015 at 05:24:48PM +0000, Daniel Stone wrote: > Hi, > > On 3 December 2015 at 17:23, Chris Michael <[email protected]> wrote: > > Patch updated to remove dead lines as suggested by Daniel Stone > > > > Signed-off-by: Chris Michael <[email protected]> > > Sorry, should've said, that with that: > Reviewed-by: Daniel Stone <[email protected]>
Thanks, pushed: 9973967..2ec5f2a master -> master _______________________________________________ wayland-devel mailing list [email protected] http://lists.freedesktop.org/mailman/listinfo/wayland-devel
