Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
The message it was looking for is gone soon; throwing an exception on asking for a type check causes too much pain.
- Loading branch information