commit | a232a7f85e0d00df10fd578330b5184523d18533 | [log] [tgz] |
---|---|---|
author | Nico Weber <nicolasweber@gmx.de> | Mon Nov 07 19:01:17 2016 -0800 |
committer | GitHub <noreply@github.com> | Mon Nov 07 19:01:17 2016 -0800 |
tree | 5d770e8316cb58859a897be56e8083e95fd90602 | |
parent | fdfff1127aa01c686801b0178293d4de52879aa8 [diff] | |
parent | 14f47940af19a9d153074ff177c5f0ab8cc3e4b9 [diff] |
Merge pull request #1204 from nico/vernum fix RELEASING wrt manual.asciidoc process