Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

rewrite the error management guide #933

Closed
Geal opened this issue May 1, 2019 · 1 comment
Closed

rewrite the error management guide #933

Geal opened this issue May 1, 2019 · 1 comment
Milestone
5.0

Comments

@Geal
Copy link
Collaborator

Geal commented May 1, 2019

the file in doc/error_management.md has not been updated in a while, and nom 5 comes with a better error system.
Should the guide be entirely rewritten, or only adapted to the new error type?
@Geal Geal mentioned this issue May 1, 2019
Closed
22 tasks
@Geal Geal added this to the 5.0 milestone Jun 17, 2019
@Geal
Copy link
Collaborator Author

Geal commented Jun 17, 2019

done in 55034c0

@Geal Geal closed this as completed Jun 17, 2019
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
5.0
Development

No branches or pull requests
1 participant
@Geal