There is currently only one (trivial) PR outstanding for 0.13.1, so I think this is last call for anything that should go in before we cut a release.<div><br></div><div>If anyone thinks that something not already covered belongs in an 0.13.1 release, speak up now.<br>

<div><br></div><div>Obviously, if anything doesn&#39;t make it, there&#39;s no reason we can&#39;t have 0.13.2 in another month or two.</div></div><div><br></div><div>-MinRK</div>