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

Remove duplicated section from error_management.md #1529

Merged
merged 2 commits into from Dec 30, 2022
Merged

Remove duplicated section from error_management.md #1529

merged 2 commits into from Dec 30, 2022

Commits on May 26, 2022

  1. Remove duplicated section from error_management.md 

    The section explaining the three different error types was duplicated (with minimal changes between the two sections). This (small) PR removes the redundancy.
    @wolthom
    wolthom committed May 26, 2022
    Copy the full SHA
    4ea4a49 View commit details
    Browse the repository at this point in the history

Commits on Dec 30, 2022

  1. Update doc/error_management.md

    @Geal
    Geal committed Dec 30, 2022
    Copy the full SHA
    d76bc0d View commit details
    Browse the repository at this point in the history