<div dir="ltr"><div class="gmail_default" style="font-family:arial,helvetica,sans-serif">I made some minor cleanups, bumped the version, and as far as I'm concerned the repo now contains what will be version 1.0.0 . If you have some last minute comments please let me know. Otherwise expect a release announcement and a tag in the next few days.</div><div class="gmail_default" style="font-family:arial,helvetica,sans-serif"><br></div><div class="gmail_default" style="font-family:arial,helvetica,sans-serif">Regards,</div><div class="gmail_default" style="font-family:arial,helvetica,sans-serif">Dov</div><div class="gmail_default" style="font-family:arial,helvetica,sans-serif"><br></div></div>