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.

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

Some exception safety fixes #519

Closed
wants to merge 4 commits into from
Closed

Some exception safety fixes #519

wants to merge 4 commits into from

Conversation

jorisdral
Copy link
Collaborator

This is WIP, not ready for review

@jorisdral jorisdral force-pushed the jdral/some-fault-fixes branch 2 times, most recently from 9dda8bc to 98c2524 Compare January 8, 2025 16:06
@jorisdral jorisdral force-pushed the jdral/some-fault-fixes branch from 98c2524 to 4e94e62 Compare January 8, 2025 16:07
@jorisdral jorisdral closed this Jan 8, 2025
@jorisdral
Copy link
Collaborator Author

jorisdral commented Jan 8, 2025

Closed in favour of smaller PRs like #520 and #521

@jorisdral jorisdral deleted the jdral/some-fault-fixes branch January 17, 2025 11:18
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