Skip to content

Conversation

414owen
Copy link

@414owen 414owen commented Aug 2, 2023

See discussions in these and witherable

@haskellari

@414owen
Copy link
Author

414owen commented Nov 9, 2023

@phadej gentle ping

@phadej
Copy link
Collaborator

phadej commented Nov 9, 2023

I haven't forgot about this, but this is a morally a breaking change, and cause I have other (somewhat related) breaking changes in mind, I hold off with this.

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