Merge branch 'rd/doc-notes-prune-fix'

Doc update. * rd/doc-notes-prune-fix: notes: correct 'git notes prune' options to '[-n] [-v]'

Junio C Hamano committed Dec 6, 2017 at 09:23 UTC 5b5710effa68e3901a44bb2e55485a4d8a89308f

No changes.