tree 5d770e8316cb58859a897be56e8083e95fd90602
parent fdfff1127aa01c686801b0178293d4de52879aa8
parent 14f47940af19a9d153074ff177c5f0ab8cc3e4b9
author Nico Weber <nicolasweber@gmx.de> 1478574077 -0800
committer GitHub <noreply@github.com> 1478574077 -0800

Merge pull request #1204 from nico/vernum

fix RELEASING wrt manual.asciidoc process