Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
- It's used exactly once, so it's trivial to replace - It doesn't match the normal convention for containers: normally `get()` returns and option and indexing panics. Instead `get()` panicked and there's no indexing operation available.
- Loading branch information