diff options
| author | Yoni Rabkin <yoni@rabkins.net> | 2017-04-17 10:02:59 -0400 |
|---|---|---|
| committer | Yoni Rabkin <yoni@rabkins.net> | 2017-04-17 10:02:59 -0400 |
| commit | 0cd9ea411391c9049f4fbcd5d9164ba11b73fe56 (patch) | |
| tree | 47cd7b43d5f916f6485869c17db4ccb908497ac9 /doc/Makefile | |
| parent | 6e795ce6117322ae5dd8a4b3e2f4ff073495ba5d (diff) | |
* doc/developer-release.txt: correct text
This would avoid a previous tag being pushed and clobbering HEAD.
Diffstat (limited to 'doc/Makefile')
0 files changed, 0 insertions, 0 deletions