<div dir="ltr"><div class="gmail_extra">On Mon, Jun 17, 2013 at 4:03 PM, Željko Filipin <span dir="ltr"><<a href="mailto:zfilipin@wikimedia.org" target="_blank">zfilipin@wikimedia.org</a>></span> wrote:<br><div class="gmail_quote">

<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div>Chris,</div><div><br></div><div>the commit[1] does not look merged to me. Did you forget to merge it?</div>
<div><br></div><div>Željko</div><div>--</div><div>1: <a href="https://gerrit.wikimedia.org/r/#/c/67865/" target="_blank">https://gerrit.wikimedia.org/r/#/c/67865/</a></div></blockquote></div><br>I have talked with Chris, he forgot to merge the commit into master. I have merged it now.</div>

<div class="gmail_extra"><br></div><div class="gmail_extra">Željko</div></div>