<div dir="ltr">No problem, thanks! :)<br><div><br></div><div>-eric</div></div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Tue, Dec 10, 2019 at 1:19 AM Simon Tatham <<a href="mailto:Simon.Tatham@arm.com">Simon.Tatham@arm.com</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex">> From: Eric Christopher <<a href="mailto:echristo@gmail.com" target="_blank">echristo@gmail.com</a>><br>
> Sent: 10 December 2019 00:57<br>
> <br>
> I've gone ahead and reverted this thusly:<br>
> As it was breaking this bot:<br>
<br>
Sorry about that – I was in the wrong time zone to respond promptly to the previous person's notification.<br>
<br>
Cheers,<br>
Simon<br>
</blockquote></div>