Skip to content

Conversation

@hannesm
Copy link
Member

@hannesm hannesm commented Apr 7, 2022

But in the end, I'm not yet sure about this. Maybe best to either merge directly or wait until we made more progress on the web thingy, and figured what is nice for decoding, error messages, etc.

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.

1 participant