Ping. I know you've been having trouble with your email provider. Do you need us to resend these patches? Thanks Tom On Thu, Oct 12, 2017 at 9:47 AM, Tom Cherry <tomcherry at google.com> wrote: >