This repository was archived by the owner on Nov 2, 2022. It is now read-only.
Proposal of another API for handling ExceptionGroup - #22
Open
bob1de wants to merge 6 commits into
Open
Commits
Commits on Sep 5, 2020
- committed
Robert Schindler - committed
Robert Schindler - committed
Robert Schindler
Commits on Sep 7, 2020
- committed
Robert Schindler - committed
Robert Schindler - committed
Robert Schindler