da82b3426c
Fixes version number mismatch (also adds more detailed instructions for releasing). Fixes #628
Fixes version number mismatch (also adds more detailed instructions for releasing). Fixes #628