Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
allow dead code, which may happen if the exception handling was disab…
…led (e.g. build on unix)
- Loading branch information