Skip to content

Conversation

@kw217
Copy link
Contributor

@kw217 kw217 commented May 20, 2022

Just the additional docs from #289 . Additional documentation and comments, and sharper distinction between errors and failures. Hopefully this is fine to merge even though #289 is not.

Add a few comments to the translation and error code.
@kevinmehall kevinmehall merged commit 00b6992 into kevinmehall:master May 21, 2022
@kevinmehall
Copy link
Owner

Great, thanks!

@kw217 kw217 deleted the add-docs branch May 23, 2022 18:54
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