On Fri, Jul 07, 2017 at 11:23:16AM -0700, Todd Kjos wrote: > I suspect there won't be a respin. I'll ping you later if you don't > remember it yourself ;)
Ok, not a problem, I can't do anything with these until after 4.13-rc1 is out, so it will be at least a week or so until I get to them... thanks, greg k-h
