user-manual: give 'git push -f' as an alternative to +master
[git/jnareb-git.git] / RelNotes
blobce97a3befbd82fe61cd9e0847e26ffa454a48f98
1 Documentation/RelNotes/1.8.1.3.txt