Skip to content

Conversation

wurmmi
Copy link

@wurmmi wurmmi commented Aug 2, 2023

fixes issue #381

@jonas-eschle
Copy link
Collaborator

Hi, I am newly taking over the maintenance! This looks quite reasonable, can you maybe check if this is still up-to-date? And resolve the conflicts?

@wurmmi wurmmi force-pushed the feature/everything-in-lowercase-issue-#381 branch from 8e50c36 to 6187c77 Compare May 8, 2025 11:18
@wurmmi
Copy link
Author

wurmmi commented May 8, 2025

Hi Jonas,
took me a couple of weeks to find time for this work.

  • It's rebased onto latest master now, all conflicts resolved.
  • Passes unit tests.

Ready for review!
I'd be happy to see that in master 🙂

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.

2 participants