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

correct String.words and String.lines simplifications #302

Merged
merged 1 commit into from
Mar 30, 2024
Merged

correct String.words and String.lines simplifications #302

merged 1 commit into from
Mar 30, 2024

Conversation

lue-bird
Copy link
Collaborator

closes #300

@lue-bird
Copy link
Collaborator Author

lue-bird commented Mar 30, 2024 •
edited
Loading

somehow I missed there was already #301 but I guess this one conforms with elm-format and adds the fixes to the change log so it should be preferred

@w0rm
Copy link

w0rm commented Mar 30, 2024 •
edited
Loading

Closed #301

@jfmengels jfmengels merged commit 623fd84 into jfmengels:main Mar 30, 2024
2 checks passed
@jfmengels
Copy link
Owner

Thank you both 🙏 ☺️

@lue-bird lue-bird deleted the string.words-and-string.lines-fix branch March 30, 2024 22:24
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
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.

Bug in simplification of String.words and String.lines
3 participants
@lue-bird @w0rm @jfmengels