<div dir="ltr"><br><div class="gmail_extra">Thanks Dimitar :)<br><br><div class="gmail_quote"><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div>> Last and least, pull request #191 and SF patch #11 are earlier than<br>


> > #226. If one of them is applied, #226 will be seriously broken.<br>
> ><br>
><br>
> I had no idea about these PRs. Thanks for pointing this out. I will check<br>
> them.<br>
<br>
</div>Hmmm... I wrote to the mailing list about them, answering to "shan chak<br>
<<a href="mailto:shankholove@gmail.com" target="_blank">shankholove@gmail.com</a>>", though that's not identical to your account.<br></blockquote><div> </div><div>Thats me but different account. </div><div>

 </div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
As the author of SF patch #11, I plan to extend it for warnings, using<br>
code from PR #226, except for the parsing. But I don't have time now.<br></blockquote><div><br></div><div>Well thats fine by me. If I can be of any help to you to speed up the process please do tell me. I would be happy to help :)</div>

<div><br></div><div>Thanks,</div><div>Shankhoneer Chakrovarty</div></div></div></div>