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鈥檒l occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Drop preserve-whitespace-option-in-nav feature #5746

Merged
merged 1 commit into from
Jun 29, 2022
Merged

Drop preserve-whitespace-option-in-nav feature #5746

merged 1 commit into from
Jun 29, 2022

Conversation

fregante
Copy link
Member

Not totally sure, but isn't this native now? We're breaking that in #5288 馃槄

It's an ancient feature:

@fregante
Copy link
Member Author

Confirmed:

  1. Visit a57b2a2 (#5727)
  2. Hide whitespace (native form, not RG鈥檚)
  3. Go to "previous commit"

@fregante fregante closed this Jun 29, 2022
@fregante fregante reopened this Jun 29, 2022
@fregante fregante marked this pull request as ready for review June 29, 2022 14:39
@fregante fregante merged commit 9e0a974 into main Jun 29, 2022
@fregante fregante deleted the preserve-whitespace-option-in-nav branch June 29, 2022 17:32
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers
No reviews
Assignees
No one assigned
Labels
implemented by github
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.

None yet
1 participant
@fregante