<div dir="ltr"><div>Hello,<br><br>it seems like we could easily close trac tickets on github pushes. I think we should do it, many bugs are left opened despite being fixed. Thoughts?<br clear="all"></div><div><div><div><br>
-- <br>Daniel Narvaez<br>
</div></div></div></div>