Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
user-manual: minor rewording for clarity.
Junio screwed up when applying the previous round of the patch; rewording from "previous" to "old" does make the description clearer. Also revert the rewording from head to branch. The description is talking about the branch's tip commit and using the word head is clearer. Based on input from Sergei and Bruce. Signed-off-by: Junio C Hamano <gitster@pobox.com>
- Loading branch information