doc: git-howto: Clarify comment about pushing series of commits
authorDiego Biurrun <diego@biurrun.de>
Thu, 25 Oct 2012 16:25:25 +0000 (18:25 +0200)
committerDiego Biurrun <diego@biurrun.de>
Fri, 26 Oct 2012 16:28:38 +0000 (18:28 +0200)
commitca7f59119b8a53d60418c4adccb0c46922795f79
tree7ac6b57e055ad8b2533e5972434d633d714284b7
parent87cdd7c6949e0166a22b558e0657ac277c95d452
doc: git-howto: Clarify comment about pushing series of commits
doc/git-howto.texi