Merge pull request #575 from behdad/releasing-edit
authorebraminio <ebrahim@gnu.org>
Sun, 22 Oct 2017 22:18:22 +0000 (01:48 +0330)
committerGitHub <noreply@github.com>
Sun, 22 Oct 2017 22:18:22 +0000 (01:48 +0330)
commit6cc49762c4fdfd0e2770a84d1b1f055acf42376f
treefeb64f8f7c31b0e1d25290ad28e2702595169c12
parent8b9d9b71b04c9d5698ec146658b31381060c700d
parent19923279abd4c7615e8b02e05a02ba18f5c0b298
Merge pull request #575 from behdad/releasing-edit

Clarify the last step of release