Skip to content

xdiffi: fix typos and touch up comments #380

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Closed

Conversation

dscho
Copy link
Member

@dscho dscho commented Oct 8, 2019

Some of these changes are best viewed with --color-words.

Cc: Michael Haggerty [email protected]

Inspired by the thoroughly stale git#159,
this patch fixes a couple of typos, rewraps and clarifies some comments.

Signed-off-by: Johannes Schindelin <[email protected]>
@dscho dscho mentioned this pull request Oct 8, 2019
@dscho
Copy link
Member Author

dscho commented Oct 8, 2019

/submit

@gitgitgadget
Copy link

gitgitgadget bot commented Oct 8, 2019

Submitted as [email protected]

@gitgitgadget
Copy link

gitgitgadget bot commented Oct 9, 2019

This branch is now known as js/xdiffi-comment-updates.

@gitgitgadget
Copy link

gitgitgadget bot commented Oct 9, 2019

This patch series was integrated into pu via git@3a7a9c4.

@gitgitgadget gitgitgadget bot added the pu label Oct 9, 2019
@gitgitgadget
Copy link

gitgitgadget bot commented Oct 9, 2019

This patch series was integrated into pu via git@bcdba0f.

@gitgitgadget
Copy link

gitgitgadget bot commented Oct 11, 2019

This patch series was integrated into pu via git@444bbc1.

@gitgitgadget
Copy link

gitgitgadget bot commented Oct 11, 2019

This patch series was integrated into next via git@157226c.

@gitgitgadget
Copy link

gitgitgadget bot commented Oct 15, 2019

This patch series was integrated into pu via git@eb3de5b.

@gitgitgadget
Copy link

gitgitgadget bot commented Oct 15, 2019

This patch series was integrated into next via git@eb3de5b.

@gitgitgadget
Copy link

gitgitgadget bot commented Oct 15, 2019

This patch series was integrated into master via git@eb3de5b.

@gitgitgadget gitgitgadget bot added the master label Oct 15, 2019
@gitgitgadget gitgitgadget bot closed this Oct 15, 2019
@gitgitgadget
Copy link

gitgitgadget bot commented Oct 15, 2019

Closed via eb3de5b.

@dscho dscho deleted the xdiffi-typos-and-comment-style branch October 15, 2019 14:02
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

Successfully merging this pull request may close these issues.

1 participant