Skip to content

Conversation

@cheap-glitch
Copy link
Contributor

@fregante fregante merged commit 697c26f into refined-github:master Jan 9, 2021
@fregante
Copy link
Member

fregante commented Jan 9, 2021

Thank you!

@cheap-glitch cheap-glitch deleted the extend-faster-pr-diff-options branch January 9, 2021 22:31
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Development

Successfully merging this pull request may close these issues.

Extend no-whitespace button (from faster-pr-diff-options?) to "Comparing Changes" page

2 participants