<div dir="ltr"><div class="gmail_extra">On Mon, Sep 16, 2013 at 8:17 PM, Jeff Hall <span dir="ltr"><<a href="mailto:jeffreyehall@gmail.com" target="_blank">jeffreyehall@gmail.com</a>></span> wrote:<br><div class="gmail_quote">

<blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left-width:1px;border-left-color:rgb(204,204,204);border-left-style:solid;padding-left:1ex"><div>I'm planning to commit a fix for this bug:</div>
<div>
<a href="https://bugzilla.wikimedia.org/show_bug.cgi?id=49313" target="_blank">https://bugzilla.wikimedia.org/show_bug.cgi?id=49313</a></div></blockquote><div><br></div><div>I have merged the commit into master (finally). Thanks for the commit Jeff!</div>

<div><br></div><div>Luis, if anything should be fixed, please let us know.<br></div><div><br></div><div>Željko <br></div></div></div></div>