On Sun, Nov 8, 2015 at 1:32 PM, Simen Heggestøyl &lt;simenheg@gmail.com&gt; wrote:<br><blockquote type="cite"><div><div>A revised patch implementing your suggestion is attached.</div></div></blockquote><br><div><div>Sorry, I forgot to attach the patch.</div><div><br></div><div>Here it is!</div><div><br></div><div>-- Simen</div></div>