Documentation: git-diff-tree --cc also omits empty commits