<div><div class="gmail_quote"><div>hey fernando,</div><div> </div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex;"><div class="im">We already have that in place, and once we release we&#39;ll be much stricter with version number checks.  </div>

</blockquote><div><br></div><div>awesome!</div><div> </div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex;">But we didn&#39;t actually bump the version number with this change (perhaps we should have, I hope it won&#39;t be too much of a hassle since right now only people running off git can use it, and it&#39;s a &#39;git pull&#39; away).<br>

</blockquote><div><br></div><div>i&#39;m ok with this, most of my collaborators currently are using the latest version anyway! (but from a principled perspective, it should change :) )</div><div><br></div><div>cheers,</div>

<div><br></div><div>satra </div><div><br></div><div>ps. i&#39;ll get to making the feature requests perhaps on my way to dc tomorrow. sorry i have been way beyond busy. i need to change my life!</div><div><br></div></div>

</div>