<div dir="ltr"><div class="gmail_extra"><div class="gmail_quote"><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div text="#000000" bgcolor="#FFFFFF"><div class="m_9153420107263341636moz-cite-prefix">No, I've requested reverting the patch for now because it causes
      an obviously and rather severe problem. If you guys can quickly
      find how to fix it feel free to use that instead.<span class=""><br><blockquote type="cite"><div></div></blockquote></span></div></div></blockquote><div>My mistake! That makes sense. Thanks again.</div></div></div></div>