Closed bakkot closed 8 years ago
We should also bump the version number and do a new patch release (and update the website). I'll do that after review of this PR.
We should also bump the version number and do a new patch release (and update the website). I'll do that after review of this PR.