Skip to content

Conversation

ludviggunne
Copy link
Contributor

No description provided.

@ludviggunne
Copy link
Contributor Author

@firewave does this look OK to you?

@danmar danmar merged commit c7e9974 into danmar:master Jul 7, 2025
16 checks passed
@ludviggunne ludviggunne deleted the 459 branch July 7, 2025 08:48
@firewave
Copy link
Collaborator

firewave commented Jul 7, 2025

@firewave does this look OK to you?

Looks like it. I had not replied yet because I wanted to think about the awkwardness in the handling but I think that should go away when the defined are being re-done - see #386 and #387.

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.

3 participants