On Fri, May 20, 2016 at 9:37 PM, Etienne Prud'homme &lt;e.e.f.prudhomme@gmail.com&gt; wrote:<br>
<blockquote type="cite"><div class="plaintext" style="white-space: pre-wrap;">I've attached the current patch.</div></blockquote><div><br></div><div><div>Thank you, Etienne, but it looks like the wrong patch was attached. It</div><div>is the same as the one from April.</div><div><br></div><div>-- Simen</div></div>