Merge pull request #1203 from nico/reldoc

Update RELEASING -- manual.asciidoc no longer has a version number