<div dir="ltr"><div class="gmail_extra"><div class="gmail_quote">On Tue, Jul 7, 2015 at 11:51 AM, Amir E. Aharoni <span dir="ltr"><<a href="mailto:amir.aharoni@mail.huji.ac.il" target="_blank">amir.aharoni@mail.huji.ac.il</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div dir="rtl"><div dir="ltr">Here: <a href="https://gerrit.wikimedia.org/r/#/c/223193/" target="_blank">https://gerrit.wikimedia.org/r/#/c/223193/</a><br></div></div><div class="gmail_extra"></div></blockquote></div><br>I was not aware we have another bot! :)</div><div class="gmail_extra"><br></div><div class="gmail_extra">Jon, Dan?</div><div class="gmail_extra"><br></div><div class="gmail_extra">Ċ½eljko</div></div>