idris-hackers/idris-mode

Prepare new release

jsoo1 opened this issue · 1 comments

jsoo1 commented

The last tagged release is 0.9.19 from 2015. Since melpa-stable pulls latest tagged version, it is missing some key fixes and improvements. I'd like to prepare a new release. I think that would mean combing through the commit history and updating the changelog. Also I have no idea what the next version number would be. Is there a more formal release process?

jfdm commented

Fixed in #507