<div dir="auto"><div class="gmail_extra" dir="auto"><div class="gmail_quote">On 8 Feb 2017 9:02 p.m., "Kostya Serebryany" <<a href="mailto:kcc@google.com">kcc@google.com</a>> wrote:<br type="attribution"><blockquote class="quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div dir="ltr">Can this change be reverted? </div></blockquote></div></div><div dir="auto"><br></div><div dir="auto">Please, go for it. I'm away from keyboard and probably so are Amara and Graham. We should look at this in the morning, let the bots go back to green. </div><div dir="auto"><br></div><div dir="auto">Cheers, </div><div dir="auto">Renato </div><div class="gmail_extra" dir="auto"></div></div>