Skip to content

Conversation

GitPaean
Copy link
Member

@GitPaean GitPaean commented Oct 13, 2025

not totally sure whether it is reasonable or I should change how I configure with my vim.

creating a PR here to discuss for opinions to help the future.

image

@GitPaean GitPaean added the manual:irrelevant This PR is a minor fix and should not appear in the manual label Oct 13, 2025
@GitPaean
Copy link
Member Author

jenkins build this please

@bska
Copy link
Member

bska commented Oct 13, 2025

I wonder why this file did not make it into #6513...

@GitPaean
Copy link
Member Author

I wonder why this file did not make it into #6513...

Not very familiar with that development, but it looks like #6483 does not handle .data file?

image

Copy link
Member

@bska bska left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

I wonder why this file did not make it into #6513...

Not very familiar with that development, but it looks like #6483 does not handle .data file?

Yeah, that's probably it. Good catch in any case. I'll merge into master.

@bska bska merged commit 72ed74e into OPM:master Oct 13, 2025
3 checks passed
@GitPaean GitPaean deleted the removing_white_spaces_norne.data branch October 13, 2025 20:03
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

manual:irrelevant This PR is a minor fix and should not appear in the manual

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants