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

Need to catch exceptions to report them #889

Merged

annevk merged 1 commit into master from annevk/catch-exceptions

Nov 9, 2020

Member

annevk commented Sep 8, 2020 •

edited by pr-preview bot

Loading

Now that the default semantics are to throw, we need to be more explicit about catching.


          Need to catch exceptions to report them

3b1370a

Now that the default semantics are to throw, we need to be more explicit about catching.

annevk requested a review from domenic

November 6, 2020 12:36

Member Author

annevk commented Nov 6, 2020

(Maybe not merge this before #918 due to new reference errors.)

domenic approved these changes

View reviewed changes

annevk merged commit 52f7a52 into master

annevk deleted the annevk/catch-exceptions branch

November 9, 2020 16:28

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet