Skip to content
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.

Sign up for GitHub

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

Jump to bottom

diff: format summary to make it more human readable #3260

Merged
merged 1 commit into from Jan 31, 2020
Merged

diff: format summary to make it more human readable #3260

merged 1 commit into from Jan 31, 2020

Conversation

ghost
Copy link

@ghost ghost commented Jan 30, 2020

No description provided.

@ghost ghost requested review from dmpetrov and efiop January 30, 2020 19:30
@efiop efiop merged commit 945a517 into iterative:master Jan 31, 2020
@efiop
Copy link
Contributor

efiop commented Jan 31, 2020

Oops, might've jumped the gun on this one, sorry. But just a heads up: if this is alright, we also need to adjust the docs accordingly.

@efiop efiop added the ui user interface / interaction label Jan 31, 2020
@efiop efiop assigned ghost Jan 31, 2020
@weekly-digest weekly-digest bot mentioned this pull request Feb 2, 2020
Closed
@ghost ghost deleted the change-diff-format branch February 3, 2020 19:19
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@dmpetrov dmpetrov Awaiting requested review from dmpetrov

@efiop efiop Awaiting requested review from efiop

Assignees
No one assigned
Labels
ui user interface / interaction
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
1 participant
@efiop