<div dir="ltr"><div>control: tags -1 +moreinfo<br></div><div><br></div><div>Thanks for the patch!</div><div><br></div><div>It looks like the symbol-file cannot be applied any more.</div><div>Could you please update it, if this bug is still relevant?</div><div><br></div><div>If not - please close it. Thanks.<br></div><div><div><div><div dir="ltr" class="gmail_signature" data-smartmail="gmail_signature"><br>Anton</div></div></div></div></div>