Skip to content

Conversation

kitbellew
Copy link
Collaborator

Don't use ExtraName as that will not take effect if other sections are moved to within indent. Fixes #4717.

Don't use ExtraName as that will not take effect if other sections are
moved to within `indent`.
@kitbellew kitbellew requested a review from tgodzik January 16, 2025 18:20
@kitbellew kitbellew merged commit fdbdfb2 into scalameta:main Jan 16, 2025
21 checks passed
@kitbellew kitbellew deleted the 4717 branch January 16, 2025 18:51
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

unexpected changes in 3.8.4
2 participants